function platforminit() 
	{
	if (window.navigator.userAgent.indexOf("Win") >= 0)	
		{
			if (window.navigator.appName.indexOf("Netscape") >= 0)
				document.write("<LINK rel=\"stylesheet\" type=\"text/css\" href=\"/skins/basic/mozilla.css\">");
			else
				document.write("<LINK rel=\"stylesheet\" type=\"text/css\" href=\"/skins/basic/other.css\">");
		}
	}

platforminit()