_VER = navigator.appVersion.match(/\d*\.\d*/);
_DOM = (document.getElementById) ? true : false;
_NS4 = (document.layers) ? true : false;
_NS5 = (navigator.appName.indexOf('Netscape') !=-1 && _VER>=5);
_IE = (document.all) ? true : false;
_IE4 = _IE && !_DOM;
_Mac = (navigator.appVersion.indexOf("Mac") != -1);
_IE4M = _IE4 && _Mac;
_Opera = (navigator.userAgent.indexOf("Opera")!=-1);
_Konqueror = (navigator.userAgent.indexOf("Konqueror")!=-1);

_BrowserString = _NS4? "NS4" : (_NS5 ? "NS5" : "MSIE");

file_flag=new Array();

function include_js(file) 
{	
    if (file_flag['file']!==void(0) && file_flag['file']) return;
	file_flag['file'] = true;
	document.write('<SCRIPT language="JavaScript" SRC="'+file+'"><'+'/script>');	
}