if (document.all && document.getElementById) window.onload = function () {
	if (document.getElementById("nav")) {
		var childNodes = document.getElementById("nav").getElementsByTagName("A");
		childNodes[childNodes.length-1].style.fontWeight="bold";
	}
}

var LANG = new Array();
LANG["ar"] = [
	"Arabic"
];
LANG["de"] = [
	"Deutsch"
];
LANG["en"] = [
	"English"
];
LANG["es"] = [
	"Español",
	"Palabras clave",
	"Digame por favor lo que buscar"
];
LANG["fr"] = [
	"Français"
];
LANG["it"] = [
	"Italiano",
	"Parole chiave",
	"Dimmi che cosa cercare"
];
LANG["pt"] = [
	"Português",
	"Palavras-chave"
];
LANG["zh"] = [
	"Chinese"
];

function fs(inc) {
	if (!document.getElementById) return;
	var body = document.getElementById('body');
	var defFs = 11;
	var newFs = (parseFloat(body.style.fontSize) || defFs) + inc;
	if (newFs >= defFs) body.style.fontSize = newFs + 'px';
}

function keywords() {
	if (document.getElementsByName) {
		var KW = document.getElementsByName('KEYWORDS')[0].content;
		var myLang = document.getElementsByTagName('HTML')[0].lang;
	} else if (document.all) {
		var KW = document.all('KEYWORDS').getAttribute('CONTENT');
		var myLang = document.all('HTML').getAttribute('LANG');
	} else return;
	var Lang = LANG[myLang];
	var url = "http://www.juragentium.unifi.it/cgi-bin/keywords.pl?L="+myLang+"&Q=";
	KW = KW.split(', ');
	for (i=0; i<KW.length; i++) KW[i] = KW[i].link(url+escape(KW[i]));
	document.write(
	'<TABLE CLASS="KW" BORDER="0" CELLPADDING="0" CELLSPACING="0" WIDTH="100%"><TR>',
	'<TD CLASS="KW">', Lang[1], ':</TD>',
	'<TD>', KW.join(' '), '</TD>',
	'</TR></TABLE>'
	);
}

function lang() {
	var langpos = document.links[0].href.split("/").length-1;
	var dirs = location.href.split("/");
	document.write('<DIV ID="lang">\n<P>Language availability</P>\n<UL>\n');
	for (var i = 0; i < arguments.length; i++) {
		dirs[langpos] = arguments[i];
		document.write('<LI>', LANG[arguments[i]][0].link(dirs.join("/")), '</LI>\n');
	}
	document.write('</UL>\n</DIV>');
}

function OK(myLang,selectedIndex) {
	var Lang = LANG[myLang];
	if (selectedIndex > -1) {
		return true;
	} else {
		alert(Lang[2]);
		return false;
	}
}

function submit(param) {
	with (document.forms[0]) {
		Q.value = param;
		submit();
	}
}