function runBox(){
  RedBox.showInline('mybox');
  Element.hide("menu");
  return false;
}

function closeBox(){
  Element.show("menu");
  RedBox.close();
  return false;
}

function runCorrectionBox(id_annale){
  RedBox.showInline('correction_box');
  Element.hide("menu");
  new Ajax.Updater('correction_display', '/search/correction/' + id_annale, {asynchronous:true});
  return false;
}

function closeCorrectionBox(){
  Element.show("menu");
  RedBox.close();
  return false;
}