_:b417158438 . _:b417158438 "0"^^ .