function dosubmit() {
  $('show_summary').hide();
  $('processing').show();
  $(document.body).setStyle({overflow: 'hidden'}); 
  new Ajax.Updater( 'result', 'index.php', { method: 'post',
  parameters: $('summary_form').serialize() } ); 
  $('result').show();  
  $('processing').hide();
  $('show_summary').show();	
}

function hidewindow() {
    $(document.body).setStyle({overflow: 'auto'});  	
	$('result').hide();
	}
	
function enter_pressed(e){
var keycode;
if (window.event) keycode = window.event.keyCode;
else if (e) keycode = e.which;
else return false;
return (keycode == 13);
}