function setborder() {
	var idstr = document.location.hash;		
	var identity = document.getElementById(idstr.replace('#','')); 
	if (identity != null) {
		var targetoffset = identity.offsetHeight/2 - window.document.body.offsetHeight/2;
		self.scrollBy(0,targetoffset);
		identity.className = 'highlightborder';
	}

}

function moveborder(newid) {
	var idstr = document.location.hash;		
	var identity = document.getElementById(idstr.replace('#','')); 
	if (identity != null) {	identity.className = ''; }
		
	if (newid.name != null) {			
		document.location.hash = newid.name;
	} else {
		document.location.hash = newid.id;
	}
				
	setborder();		
}