_:b407425791 . _:b407425791 "0"^^ .