function hop_init_vpaned( id, pan1id, pan2id, fraction, onresize ) {   var paned = document.getElementById( id );   var cursor = document.getElementById( id + "-vpaned-cursor" );   var pan1 = document.getElementById( pan1id );   var pan2 = document.getElementById( pan2id );   var td1 = document.getElementById( id + "-vpaned-td1" );   var td2 = document.getElementById( id + "-vpaned-td2" );      // cursor event handling   var mousemove = function( e ) {      hop_vpaned_mousemove( e, paned );   };   var delmousemove = function( e ) {      hop_remove_event_listener( document, "mousemove", mousemove, false );   };      var mousedown = function( e ) {      hop_add_event_listener( document, "mousemove", mousemove, false );      hop_add_event_listener( document, "mouseup", delmousemove, false );      hop_add_event_listener( document, "onblur", delmousemove, false );            hop_stop_propagation( e );   }   hop_add_event_listener( cursor, "mousedown", mousedown );      // quick access to the pan children   paned.td1 = td1;   paned.td2 = td2;   paned.cursor = cursor;   paned.pan1 = pan1;   paned.pan2 = pan2;   // Opera 8 is buggous (at least on PDA). Its does not properly   // recompute the parent height   var hpan = node_style_get( paned, "height" );   node_style_set( paned.parentNode, "height", hpan );   // setup the initial fraction   paned.fraction = -1;   hop_vpaned_fraction_set( paned, fraction );   hop_paned_onresize_set( paned, onresize );      return paned;}
4636	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/4636/9bb5fe65bd353f1fb7d63c622c9f674b6d4ccee3/hop-paned.js/clean/share/hop-paned.js