_:b423080432 "0"^^ . _:b423080432 .