_:b415164839 . _:b415164839 "0"^^ .