function enter_pressed(event){var CR=13;var TAB=9;var AMP=38;if(!event)var event=window.event;var key_code;if(event.which)key_code=event.which*1;else if(event.keyCode)key_code=event.keyCode*1;if(key_code==CR)return true;return false;}