Update namenum.java