_:b415957400 . _:b415957400 "0"^^ .