var browser_version;
var browser_type;

browser_version= parseInt(navigator.appVersion);
browser_type = navigator.appName;

if (browser_type == "Opera") {
	document.getElementsByTagName('html')[0].className = 'opera';
	}
else if (browser_type == "Netscape") {
	document.getElementsByTagName('html')[0].className = 'w3c';
	}
else if (browser_type == "Microsoft Internet Explorer") {
	document.getElementsByTagName('html')[0].className = 'ie';
	}
else if (browser_type == "Safari") {
	document.getElementsByTagName('html')[0].className = 'safari';
	}