rem: function drag_stop( evt ) { 
add: function drag_stop( evt ) { debug_print( 'drag_stop' ); 
context: function drag_stop( evt ) {  document.getElementsByTagName('body')[0].onmousemove = null;  document.getElementsByTagName('body')[0].onmouseup   = null;  document.getElementsByTagName('body')[0].onmouseout  = null;}
meta: 9201	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9201/7822fa57d302395277293f593d07ac92e4168a0b/new_drag_imagemap.js/clean/htdocs/js/new_drag_imagemap.js