_:b415117793 . _:b415117793 "0"^^ .