var val;  val = ((hop_event_mouse_x( e ) - hop_element_x( paned ) - 2) / paned.offsetWidth) * 100; hop_vpaned_fraction_set( paned, Math.round( val )); 
var val = ((hop_event_mouse_x( e ) - hop_element_x( paned ) - 2) / paned.offsetWidth) * 100; hop_vpaned_fraction_set( paned, Math.round( val ) ); 
function hop_vpaned_mousemove( e, paned ) {   var val;   val = ((hop_event_mouse_x( e ) - hop_element_x( paned ) - 2)	  / paned.offsetWidth) * 100;   hop_vpaned_fraction_set( paned, Math.round( val ));}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/9bb5fe65bd353f1fb7d63c622c9f674b6d4ccee3/hop-paned.js/clean/share/hop-paned.js