_:b415116147 . _:b415116147 "0"^^ .