_:b423891015 . _:b423891015 "0"^^ .