_:b417138258 . _:b417138258 "0"^^ .