if (document.getElementById && document.getElementsByTagName) {

	document.write("<DIV CLASS=menu ID=menucerca ONMOUSEOVER=\"menuOn('menucerca')\" ONMOUSEOUT=\"menuOff('menucerca')\">")
	document.write( 
	 "<FORM STYLE=\"text-align: right; margin: 0\" METHOD=GET ACTION=\"search.php\">\n"+
	 "<INPUT TYPE=hidden NAME=z VALUE=$z>\n"+
	 "<INPUT TYPE=hidden NAME=page VALUE=1>\n"+
	 "<INPUT TYPE=text NAME=words SIZE=20>"+
	 "<INPUT TYPE=submit NAME=exact VALUE=\"Cerca\">"+
	 "</FORM>\n")
	document.write("</DIV>\n")
}