function include_css()
{
	var ss=unescape(window.location.search.substring(1));
	if(ss.length<1) ss="specifications";
	document.writeln('<link rel="stylesheet" type="text/css" href="../'+ss+'.css">');
}