var users = new Array();
  function search_for(term, results, game) {
    term = term.replace("&", "&");
    term = term.replace("<", "&lt;");
    term = term.replace(">", "&gt;");
    var results = document.getElementById(results);
    var num_results = 0;
    var dom_temp = null;
    
    results.innerHTML = '';
    
    if (term.length < 2) {
        results.innerHTML = '';
    } else {
      for (var i=0; i<users.length; i++) {
        if (users[i].username.search(new RegExp(term, "i")) != -1) {
          dom_temp = document.createElement("li");
          dom_temp.innerHTML = '<a href=viewuser.php?game=' + game + '&amp;user=' + users[i].id + '>' + users[i].username + '</a>';
          results.appendChild(dom_temp);
          if (num_results < 20)
            num_results++;
          else 
            break;
        }
      }
      if (num_results >= 20 ) {
        results.innerHTML = 'Too many results; Narrow your search.';
      } else {
        //nothing
      }
    }
  }

  function search_for_dj(term, results, originaluser, game) {
    term = term.replace("&", "&amp;");
    term = term.replace("<", "&lt;");
    term = term.replace(">", "&gt;");
    var results = document.getElementById(results);
    var num_results = 0;
    var dom_temp = null;
    
    results.innerHTML = '';
    
    if (term.length < 2) {
        results.innerHTML = '';
    } else {
      for (var i=0; i<users.length; i++) {
        if (users[i].username.search(new RegExp(term, "i")) != -1) {
          dom_temp = document.createElement("li");
          dom_temp.innerHTML = '<a href=popnbattle.php?game=' + game + '&amp;user2=' + users[i].id + '&amp;user1=' + originaluser + '>' + users[i].username + '</a>';
          results.appendChild(dom_temp);
          if (num_results < 20)
            num_results++;
          else 
            break;
        }
      }
      if (num_results >= 20 ) {
        results.innerHTML = 'Too many results; Narrow your search.';
      } else {
        //nothing
      }
    }
  }

  
  function init_search() {
    var options = document.getElementById('all_users').getElementsByTagName("option");
    for (var i=0; i<options.length; i++) {
      users[users.length] = {id: options[i].value, username: options[i].innerHTML};
    }
  }