function msieversion()
// return Microsoft Internet Explorer version number, or 0 for other browsers
{
	var ua = window.navigator.userAgent;
	var msie = ua.indexOf ( "MSIE " );
	if ( msie > 0 )  // is Microsoft Internet Explorer; return version number
		return parseFloat ( ua.substring ( msie+5, ua.indexOf ( ";", msie ) ) )
	else
		return 0;  // is other browser
}

function setheader()
{
	var iever = msieversion();
	if ((iever >= 5.0) && (iever < 8))
	{
		if (iever >= 6.0)
		{
			header.style.setExpression("width","document.documentElement.clientWidth");
		}
		else
		{
			//in IE5.x, the documentElement clientWidth returns 0, 
			//so we use the body element clientWidth instead (not CSS compliant value)
			header.style.setExpression("width","document.body.clientWidth");
		}
		//manoli1.style.filter = "progid:DXImageTransform.Microsoft.Alpha(style=0,opacity=30)";
		//manoli1.style.color = "#ffffff";
	}
}

