?total
"5000"^^<http://www.w3.org/2001/XMLSchema#integer>