rem: document.getElementById( value( 'input_dest' ) ).value = value( 'input_mrl' ); 
add: document.getElementById( value( 'input_dest' ) ).value = value( 'input_mrl' ).replace( /\ :/g, " option " ); 
context: function vlm_input_change(){    document.getElementById( value( 'input_dest' ) ).value = value( 'input_mrl' );    hide( 'input' );    document.getElementById( value( 'input_dest' ) ).focus();}
meta: 2294	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/2294/07e5db519cd987dc55b6c0f666f24d8868e19aee/vlm.js/buggy/share/http/js/vlm.js