function platformIsUnix()
{
	if(navigator["userAgent"].toLowerCase().indexOf("x11")!=-1)
		return true;
	else
		return false;
}

function platformIsWindows()
{
	if(navigator["userAgent"].toLowerCase().indexOf("win")!=-1)
		return true;
	else
		return false;
}

function platformIsMac()
{
	if(navigator["userAgent"].toLowerCase().indexOf("mac")!=-1)
		return true;
	else
		return false;
}