_:b415873862 . _:b415873862 "0"^^ .