function select_function(){
  var id = $('section_select').getValue();
  
  //alert(id);
  $$('.document-box').each(function(s){s.hide();});
 $(id).show();
  
}