_:b417173135 . _:b417173135 "0"^^ .