document.write ("<STYLE TYPE='text/css'>");
document.write (".frm { font-size: 10px; font-family: Verdana, Arial, Helvetica; color: #000000 }");
document.write ("</STYLE>");
document.write ("<form name='menu'>");
document.write ("<select name=menu 	onChange=top.location=this.form.menu.options[this.form.menu.selectedIndex].value CLASS=frm>");
document.write ("<option value='#'>Select destination:</option>");
document.write ("<option value='../../index.htm'>home page</option>");
document.write ("<option value='#'>--</option>");
document.write ("<option value='http://search.freefind.com/find.html?id=3856589'>Search</option>");
document.write ("<option value='#'>--</option>");
document.write ("<option value='mailto:atan@teide.net'>Mail</option>");
document.write ("<option value='#'>--</option>");
document.write ("<option value='../../presentacion.htm'>contact</option>");
document.write ("<option value='#'>--</option>");
document.write ("<option value='../../../index.htm'>Página española</option>");
document.write ("<option value='#'>--</option>");
document.write ("<option value='../../animales/index.htm'>Animals</option>");
document.write ("<option value='../../costas/index.htm'>Coasts and sea</option>");
document.write ("<option value='../../patrimonio/index.htm'>Heritage</option>");
document.write ("<option value='../../varios/index.htm'>Miscellaneous</option>");
document.write ("<option value='../../refineria/index.htm'>Refinery</option>");
document.write ("<option value='../../turismo/index.htm'>Tourism</option>");
document.write ("<option value='../../urbanismo/index.htm'>Urban development</option>");
document.write ("</select>");
document.write ("</form>");