USACO namenum.