// JavaScript Document
function enviar_formulario(formulario){
	document.formulario.submit();
}


//Imagenes
function sobre(nom){
	document.getElementById(nom).src = "imagenes/" + nom + "_on.png";
}

function fuera(nom){
	document.getElementById(nom).src = "imagenes/" + nom + ".png";
}


//Buscador, borrar texto
function borrar_buscador(texto){
	if(texto.value == "Buscar...") texto.value= "";
}

//Buscador, restablecer texto
function rest_buscador(texto){
	if(texto.value == "") texto.value= "Buscar...";
}