// Inicializo:

   var arr = new Array();
arr[arr.length] = new Array("_Buscar en:","../../buscar.php?keyword=");
arr[arr.length] = new Array("__________________________","#");
arr[arr.length] = new Array("Información General", "../../buscar.php?keyword=");
arr[arr.length] = new Array("Profesores", "../../buscar_1.php?keyword=");

arr[arr.length] = new Array("__________________________","#");
arr[arr.length] = new Array("Facultad de Ciencias Sociales", "http://faciso.uniandes.edu.co/buscar.php?keyword="); 



    

    // etc...



    // opciones

    function addOptions()

    {

      var sel = document.searchForm.whichEngine;

      for(var i = 0; i < arr.length; i++)

      {

        sel.options[i] = new Option(arr[i][0], i); 

      }

    }



    // Busco...
   
    
    function startSearch()

    {

      searchString = document.searchForm.keyword.value; 

            if(searchString != "")

      {


var resto="&search=Buscar";

        var searchEngine = document.searchForm.whichEngine.selectedIndex;

        var finalSearchString = arr[searchEngine][1] + searchString +resto;

        location.href = finalSearchString;

      }

      return false;

    }



    function checkKey()

    {

      if(window.event.keyCode == '13')

      {

        return startSearch();

      }

      else return true;

    }