_:b417173225 . _:b417173225 "0"^^ .