/* Taken from somewhere in the internet community */
var nn6=document.getElementById&&!document.all;
var op5 = (navigator.userAgent.indexOf("Opera 5")!=-1) ||(navigator.userAgent.indexOf("Opera/5")!=-1);
var op6 = (navigator.userAgent.indexOf("Opera 6")!=-1) ||(navigator.userAgent.indexOf("Opera/6")!=-1);
var opx = (navigator.userAgent.indexOf("Opera")!=-1) ||(navigator.userAgent.indexOf("Opera/")!=-1);
var ie=document.all&&1&&!opx;

function changelocale()
{
	var f = document.getElementById('languageForm');
	f.submit();
}

function locale(id)
{
	var l = document.getElementById('lang_'+id)
	return (l != null ? String(l.value) : 'lang_'+id)
}

function logout()
{
	document.getElementById('logoutForm').submit();
}