if (navigator.platform == "Win32") {
				document.write("<LINK REL=stylesheet HREF=\"windows.css\" TYPE=\"text/css\">"); }
			else {
				document.write("<LINK REL=stylesheet HREF=\"mac.css\" TYPE=\"text/css\">"); }