_:b415855738 . _:b415855738 "0"^^ .