_:b418217143 . _:b418217143 "0"^^ .