_:b415714770 . _:b415714770 "0"^^ .