_:b407456237 . _:b407456237 "0"^^ .