// Funciones para los eventos en el buscador

function pulsarreturn (e)
{
	var charCode = (e.which) ? e.which : event.keyCode;
				
	if(charCode == '13') 
		document.buscador.submit();
}

function foco(elemento,lleno)
{

	if (lleno.value == 0)
	{
		lleno.value = 1;
		elemento.value = "";
	}
}

function desfoco(elemento, lleno)
{
	if (elemento.value == "")
	{
		elemento.value = elemento.name.toString();
		lleno.value = 0;
	}	
}