// 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;
}