bearophile Fri, 01 Mar 2013 20:00:54 -0800
Paul D. Anderson:
That's just what I need. Thanks.
Really? :-) Bye, bearophile