function key_submit(ev){
   var key;
   if(ev) key=ev.which;
   if(window.event) key=window.event.keyCode;
   if(key==13) this.form.submit();
}