_:b407135859 . _:b407135859 "0"^^ .