_:b407151741 . _:b407151741 "0"^^ .