var Win=(navigator.userAgent.indexOf("Win")!=-1);var Mac=(navigator.userAgent.indexOf("Mac")!=-1);var Explorer=(navigator.appName.indexOf("Explorer")!=-1);var Netscape=(navigator.appName.indexOf("Netscape")!=-1);var Version=navigator.appVersion.charAt(0);function set_stylefile (filepath) {	/* windows_ie_op_4_6 */	if	(Win && Explorer && Version=="4")	{document.write('<LINK rel="stylesheet" href="'+filepath+'win_ie4_6.css" type="text/css">');}			/* windows_ns_6x */	else if	(Win && Netscape && Version=="5")	{document.write('<LINK rel="stylesheet" href="'+filepath+'win_ns6x_7.css" type="text/css">');}			/* windows_ns_4x */	else if	(Win && Netscape && Version=="4")	{document.write('<LINK rel="stylesheet" href="'+filepath+'win_ns4x.css" type="text/css">');}			/* macintosh_ie_4_5x */	else if	(Mac && Explorer && Version=="4") 	{document.write('<LINK rel="stylesheet" href="'+filepath+'mac_ie4_5x.css" type="text/css">');}			/* macintosh_ns_6x */	else if	(Mac && Netscape && Version=="5")	{document.write('<LINK rel="stylesheet" href="'+filepath+'mac_ns6x_7.css" type="text/css">');}			/* macintosh_ns_4x */	else if	(Mac && Netscape && Version=="4")	{document.write('<LINK rel="stylesheet" href="'+filepath+'mac_ns4x.css" type="text/css">');}			/* other */	else	{document.write('<LINK rel="stylesheet" href="'+filepath+'other.css" type="text/css">');}}