/*function choose_js()
*/
{
  // choose_css.js
  // -------------
  // choose the appropriate stylesheet according to
  // the user's screen resolution

	width = screen.width; 
	height = screen.height;

	document.write('<link rel="stylesheet" type="text/css" href=');
 	if (width > 1024) 
	{
    	document.write('"css/sizebig.css">'); 
	}
	else
	{
		if (width >= 640) 
	  	{	  
			document.write('"css/sizenormal.css">');
		}
		else
		{
			document.write('"css/sizepda.css">');
		}
  	}
}