var ajaxHdlr = null;

function stateChanged()
{
  if(ajaxHdlr.readyState == 4){
    updateContent(ajaxHdlr.responseText);
  }
  else{
    updateContent(showLoading());
  }
}

function goSelection(title)
{
  ajaxHdlr = getAjaxHandler();

  if(ajaxHdlr != null){
    ajaxHdlr.onreadystatechange = stateChanged;
    ajaxHdlr.open("GET", '/issta09/' + title +'.php?sid=' + Math.random(), true);
    ajaxHdlr.send(null);
    updateMenu(title);
  }

  return false;
}