function Jump(v) {
	var df=document.QLForm;
	var elem = document.getElementById('D_'+v);
	for(i=0; (a = document.getElementsByTagName("div")[i]); i++) {
		if(a.className=="pageHilite") a.className="pageNormal";
	}
	elem.className="pageHilite";
	window.location.hash=v; 
	
}