function agent(){
	var ievs = (/MSIE (\d+\.\d+);/.test(navigator.userAgent));
	if(ievs){
		var text = '<link rel="stylesheet" type="text/css" href="style/iefix.css">';
	}
	else{
		var text = '';
	}
	document.write(text);
	return true;
}

function setup_menu_style(){
	var larghezza = screen.width;
	var left = larghezza / 2 + 280;
	var text = '<style type="text/css">#menu{left: '+left+'px;}</style>';
	document.write(text);
	//alert(text);
	return true;
}