var bName = navigator.appName;var OS = navigator.platform;	if (bName == "Netscape" && OS == "Win32") {	fDiv = 1	} else {	fDiv = 0	}function css2(id,type,fontcolor,fontsize) {	if (id=="START") return '<STYLE TYPE="text/css">\n'	else if (id=="END") return '</STYLE>'	if (type=="serif") { type = "times,serif" }	if (type=="sans-serif") { type = "verdana,helvetica,arial,sans-serif"}	if (type=="courier") { type = "courier,monospace"}	fSize = fontsize + fDiv	var str = ''+id+' {color:'+fontcolor+';font-size:'+fSize+'px;font-family:'+type+';'	str += '}\n'	return str}function writeCSS2(str,showAlert) {	str = css2('START')+str+css2('END')	document.write(str)	if (showAlert) alert(str)}
