//->!Prefs
// Produced by OvationPro at 7:29pm 31st July 2000
//
//


void main(void)
{
generalpref(0,60000,0,0,1,'.');
generalpref2(1,1,0,0);
viewpref1(283464,28246,0,0,1,1,1);
textpref(15000,50000,42598,42598,43254,0);
textpref2(".","-","","");
}

