var scroll_step=50;
var scroll_dest;
var scroll_timeout;
var scroll_pos_now;
function scroll_to_anchor(anc){
	var obj=get_element(anc);
	scroll_dest=findPosY(obj);
	if (typeof document.body.style.maxHeight == "undefined") {
	  scroll_dest/=2;
	  scroll_dest+=40;
	}
	else scroll_dest-=30;
	
	scroll_pos_now=0;

	scroll_window();
//	self.scrollTo(0,dest);
}
function scroll_window(){
	self.scrollTo(0,scroll_pos_now+scroll_step);
	scroll_pos_now+=scroll_step;
	if(scroll_pos_now<(scroll_dest-scroll_step)){
		setTimeout("scroll_window()",1);
	}
	else if(scroll_pos_now<scroll_dest){
		self.scrollTo(0,scroll_dest);
	}
}
function findPosY(obj){
	var curtop = 0;
	if(obj.offsetParent) 
		while(1){
			curtop += obj.offsetTop;
			if(!obj.offsetParent)
				break;
			obj = obj.offsetParent;
		}
	else if(obj.y)
		curtop += obj.y;
	return curtop;
}
function scroll_to_top(){
	self.scrollTo(0,0);
}
function jscript_internal_links(){
  // Get a list of all links in the page
  var allLinks = document.getElementsByTagName('a');
  var anc_name;
  // Walk through the list
  for (var i=0;i<allLinks.length;i++) {
    var lnk = allLinks[i];
    if ((lnk.href && lnk.href.indexOf('#') != -1) && 
        ( (lnk.pathname == location.pathname) ||
    ('/'+lnk.pathname == location.pathname) ) && 
        (lnk.search == location.search)) {
      // If the link is internal to the page (begins in #)
      // then attach the smoothScroll function as an onclick
      // event handler
      
      var anc_name=lnk.href.substring(lnk.href.indexOf('#')+1);
      if(anc_name=="top") lnk.href='javascript:scroll_to_top()';
      else lnk.href='javascript:scroll_to_anchor("'+anc_name+'")';
    }
  }
//  var over_div=get_element("internal_links");
//  over_div.style.display="none";
}