But John, what does 7fff mean?

Well, 32767 is a number I’m quite fond of; it brings back some interesting memories of doing 16 bit arithmetic when I was young. 32767 is also java.lang.Short.MAX_VALUE. In hex, 32767 decimal is 7fff. Which reminds me, did you hear about the programmer who celebrated Christmas on Halloween? (’cos 25 Dec. = 31 Oct.). It’s also nice to have a short domain name to reduce the typing. A downside is that Java package names can’t begin with a number, so I had to register sevenfff.com as well. Sheesh.