is lin-lin linux? -- Dr. J.J. Paijmans Tilburg University, Faculty of Arts, Dept. of Linguistics & AI Tilburg, Netherlands (+31) (0)13-4662693 http://pi0959.kub.nl Home: Elzenstraat 1, 5581 VS Waalre, http://paijmans.net