_:b417173144 . _:b417173144 "0"^^ .