_:b407151352 . _:b407151352 "0"^^ .