_:b417133777 . _:b417133777 "0"^^ .