_:b417522800 "0"^^ . _:b417522800 .