function ajax_call(url,success_function) {
  var ua;
  function handleResponse() {
    if(ua.readyState == 4){ success_function(ua.responseText); }
    //  else alert("loading" + ua.readyState);
  }
  if(window.XMLHttpRequest) {
    try { ua = new XMLHttpRequest(); } catch(e) { ua = false; }
  } else if(window.ActiveXObject) {
    try { ua = new ActiveXObject("Microsoft.XMLHTTP"); } catch(e) { ua = false; }
  }
  ua.open('get',url);
  ua.onreadystatechange = handleResponse;
  ua.send(null);
}

function ajax_alert_response(o) { alert(o); }

function ajax_do_nothing(o) { }

/* Moved some stuff to nifty.js */