function enviar_formulario_buscador()
{   
    var formulario_busqueda = document.getElementById("formulario_buscador");
    var div_aviso = document.getElementById("aviso_minimo");
    var texto = formulario_busqueda.buscar.value;
    if (texto.length < 3)
	div_aviso.className = "";
    else
	formulario_busqueda.submit();
}