function getElement(id) {
	if(document.getElementById)
		return document.getElementById(id)
	if(document.all)
		return document.all[id]
	if(document.layers)
		return document.layers[id]
}
// Other functions
function validateSearchForm(f) {
	if(f.query.value == "")
		alert("Per favore inserisci una o più parole da ricercare.");
	else
		return true;
	return false;
}