On Fri, Feb 04, 2000 at 09:31:07PM -0500, Nils Barth wrote: > Thanks George! > BTW, do you prefer to be addressed as george, jiri, jirka, or > something else? Doesn't matter, but usually english speaking people address me as George and Czechs as Jirka (Jiri is the formal version of Jirka) George