var height = parseInt( node_style_get( paned, "height" ) ); 
function hop_hpaned_mousemove( e, paned ) {   var val1 = hop_event_mouse_y( e ) - hop_element_y( paned );   var height = parseInt( node_style_get( paned, "height" ) );   return hop_hpaned_dimension_set( paned, val1, height );}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/03cc7bc6a15b26124d550ccdaf125b995ee54ac5/hop-paned.js/buggy/share/hop-paned.js