_:b417140400 . _:b417140400 "0"^^ .