_:b415393837 . _:b415393837 "0"^^ .