_:b417758257 . _:b417758257 "0"^^ .