var _____WB$wombat$assign$function_____ = function(name) {return (self._wb_wombat && self._wb_wombat.local_init && self._wb_wombat.local_init(name)) || self[name]; };
if (!self.__WB_pmw) { self.__WB_pmw = function(obj) { this.__WB_source = obj; return this; } }
{
  let window = _____WB$wombat$assign$function_____("window");
  let self = _____WB$wombat$assign$function_____("self");
  let document = _____WB$wombat$assign$function_____("document");
  let location = _____WB$wombat$assign$function_____("location");
  let top = _____WB$wombat$assign$function_____("top");
  let parent = _____WB$wombat$assign$function_____("parent");
  let frames = _____WB$wombat$assign$function_____("frames");
  let opener = _____WB$wombat$assign$function_____("opener");

/* A slightly modified version of the DHTML SCROLLBAR from http://13thparallel.com */


// We wrap all the code in an object so that it doesn't interfere with any other code
var scroller = {
  
  init:   function() {
  
  // Collect the variables
  scroller.docH = document.getElementById("content1").offsetHeight;
  scroller.contH = document.getElementById("container").offsetHeight;
  scroller.scrollAreaH = document.getElementById("scrollArea").offsetHeight;
    
  // What is the effective scroll distance once the scoller's height has been taken into account
  scroller.scrollDist = Math.round(scroller.scrollAreaH-20);
    
  // Make the scroller div draggable
  if(scroller.docH > 100) {
   
  document.getElementById("scroller").style.height = "20px";
    
  // Change scroller width here
  document.getElementById("scroller").style.width = "8px";
    
  Drag.init(document.getElementById("scroller"),null,0,0,-1,scroller.scrollDist);
   
  // Add ondrag function
  document.getElementById("scroller").onDrag = function (x,y) {
  var scrollY = parseInt(document.getElementById("scroller").style.top);
  var docY = 0 - (scrollY * (scroller.docH - scroller.contH) / scroller.scrollDist);
  document.getElementById("content1").style.top = docY + "px";
  }  
  } 
  
    
    
}
}



}
/*
     FILE ARCHIVED ON 12:12:27 Jan 16, 2013 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 10:32:47 Jul 18, 2025.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 0.537
  exclusion.robots: 0.019
  exclusion.robots.policy: 0.009
  esindex: 0.011
  cdx.remote: 102.948
  LoadShardBlock: 162.566 (3)
  PetaboxLoader3.datanode: 109.105 (4)
  PetaboxLoader3.resolve: 219.595 (2)
  load_resource: 192.03
*/