_:b415676897 . _:b415676897 "0"^^ .