Thanks to Bryan Hessey and Shatin, who came up with the same idea. It
worked, and you saved me a LOT of tedious and error-prone typing.

The Internet is great because of selfless and competent people like you.

--Johnny