// JavaScript Document

// onLoad event  
 window.onload = function(){  
   set_scroll();  
 }  

 // if query string in URL contains scroll=nnn, then scroll position will be restored  
 function set_scroll(){  
   // get query string parameter with "?"  
   var search = window.location.search;  
   // if query string exists  
   if (search){  
     // find scroll parameter in query string  
     var matches = /scroll=(\d+)/.exec(search);  
     // jump to the scroll position if scroll parameter exists  
     if (matches) window.scrollTo(0, matches[1]);  
   }  
 }  
   
 // append scroll value to the URL  
 function my_href(href){  
   var scroll;  
   // Netscape compliant  
   if (typeof(window.pageYOffset) == 'number')  
     scroll = window.pageYOffset;  
   // DOM compliant  
   else if (document.body && document.body.scrollTop)  
     scroll = document.body.scrollTop;  
   // IE6 standards compliant mode  
   else if (document.documentElement && document.documentElement.scrollTop)  
     scroll = document.documentElement.scrollTop;  
   // needed for IE6 (when vertical scroll bar is on the top)  
   else scroll = 0;  
   // set href location with scroll position parameter  
   window.location.href = href + '?scroll=' + scroll;  
 }