_:b417425732 . _:b417425732 "0"^^ .