// JavaScript Document
EXPLORER = "MSIE";
FIREFOX = "Firefox";

var isExplorer;
var isFireFox;
with(getBrowser())
{
	if(name==EXPLORER)
	{
		isExplorer = true;
		isFireFox= false;
	}
	else if(name==FIREFOX)
	{
		isFireFox= true;
		isExplorer = false;
	}
}

function Browser()
{
	var name;
	var version;
}

function getBrowser()
{
	var browser = new Browser();

	if(navigator.userAgent.indexOf(EXPLORER)!=-1)
	browser.name = EXPLORER;
	else if(navigator.userAgent.indexOf(FIREFOX)!=-1)
	browser.name = FIREFOX;
	else
	browser.name = "other";
	
	switch(browser.name)
	{
		case EXPLORER:
		start = navigator.userAgent.indexOf(EXPLORER)+5;
		end = navigator.userAgent.indexOf(";",start);
		browser.version = parseFloat(navigator.userAgent.substring(start,end));
		break;
		case FIREFOX:
		start = navigator.userAgent.indexOf(FIREFOX)+FIREFOX.length+1;
		browser.version = parseFloat(navigator.userAgent.substring(start));
		break;
		default:
		browser.version = 0.0;
	}
	return browser;
}