_:b407187531 . _:b407187531 "0"^^ .