_:b417233742 . _:b417233742 "0"^^ .