    public static long highestVIN() {
	return nextVIN - 1;
    }
