if (top.location != location) 
{
	top.location.href = document.location.href ;
}

var root_url = '/general/';

var css_file = '';
var supp_css = false;

var browserName=navigator.appName; 

switch(browserName)
{
	case 'Microsoft Internet Explorer':
		css_file = 'ieformat.css';
		supp_css = true;
		break;
} 

if(supp_css)
{
	document.write('<link rel="stylesheet" type="text/css" href="/general/drivers/'+css_file+'" />');   
}
	
function fact_ini()
{
	check_login();
}