var w=screen.width
	if (w==800)
   {
	document.writeln('<style type="text/css" title="currentStyle" media="screen">')
	document.writeln('#contents{font: 9pt Arial, Helvetica, sans-serif; line-height:14pt;}')
	document.writeln('html>body #contents{font: 9pt Arial, Helvetica, sans-serif;line-height:14pt;}')
	document.writeln('</style>')
	}	
	if (w==1024)
   {
	document.writeln('<style type="text/css" title="currentStyle" media="screen">')
	document.writeln('#contents{font: 10pt Arial, Helvetica, sans-serif; line-height:14pt;}')
	document.writeln('html>body #contents{font: 10pt Arial, Helvetica, sans-serif;line-height:14pt;}')
	document.writeln('</style>')
	}