function leer_fichero() {
    /*
        Esta funcion solo ejecuta jsrsExecute con los siguientes parametros:
        1: Fichero [url] del .php que ofrece el servicio
        2: nombre de la funcion que recibirá el resultado ... recibe siempre un parámetro
        3: nombre de la funcion a ejecutar en el servidor
        4: parametros a enviar al servidor ... en este caso nada
    
    */
    jsrsExecute("procesos.php", leer_fichero_resultado, "contenido_fichero", '' );
}
function leer_fichero_resultado( cadena ) {
    document.formulario.texto.value = cadena;
}
function grabar_fichero( cadena ) {
    /*
        Esta funcion solo ejecuta jsrsExecute con los siguientes parametros:
        1: Fichero [url] del .php que ofrece el servicio
        2: nombre de la funcion que recibirá el resultado ... recibe siempre un parámetro
        3: nombre de la funcion a ejecutar en el servidor
        4: parametros a enviar al servidor ... en este una cadena ... 
    
    */
    jsrsExecute("procesos.php", grabar_fichero_resultado, "grabar_fichero",  cadena  );
}
function grabar_fichero_resultado( cadena ) {
    alert( cadena ) ;
}

function valores( cadena ) {
    /*
        Esta funcion solo ejecuta jsrsExecute con los siguientes parametros:
        1: Fichero [url] del .php que ofrece el servicio
        2: nombre de la funcion que recibirá el resultado ... recibe siempre un parámetro
        3: nombre de la funcion a ejecutar en el servidor
        4: parametros a enviar al servidor ... en este una cadena ... 
    
    */
    jsrsExecute("procesos.php", valores_resultado, "get_valores",  cadena  );
}
function valores_resultado( cadena ) {
    // esta funcion recibe una cadena ... que transformaremos en un array ... 
    // con la funcion jsrsArrayFromString ... es un split ... 
    miArray  = jsrsArrayFromString( cadena  , "~" ) ;
    objeto = document.formulario.combo2 ;
    objeto.options.length = 0 ;
    var defaultSelected = true;
    var selected = false;
    var length = 0;
    for( indice = 0; indice < miArray.length ; indice ++) {
       if ( indice == 0 ) {
          defaultSelected = true;
          selected = true;
       } else {
          defaultSelected = false;
          selected = false;
    
       }
       optionName = new Option(miArray[indice], miArray[indice], defaultSelected, selected) ;
       length = objeto.options.length;
       objeto.options[length] = optionName ;
    }
}
function mayorque( valor1, valor2 ) {
    /*
        Esta funcion solo ejecuta jsrsExecute con los siguientes parametros:
        1: Fichero [url] del .php que ofrece el servicio
        2: nombre de la funcion que recibirá el resultado ... recibe siempre un parámetro
        3: nombre de la funcion a ejecutar en el servidor
        4: parametros a enviar al servidor ... un array con los 2 valores
    
    */
    jsrsExecute("procesos.php", mayorque_resultado, "mayor_que", Array( valor1, valor2) );
}
function mayorque_resultado( cadena ) {

    document.formulario.resultado.value = cadena;
}