function adjustMenu(eid, edx, start, end){
	var increment = .3;
	if(start <= end){
		start += increment;
		setTimeout("adjustMenu('"+eid+"',"+edx+","+start+","+end+")", 50);
	}else if((start / 1.19) <= end){
		start += increment;
		setTimeout("adjustMenu('"+eid+"',"+edx+","+start+","+end+")", 10);
	}else{start = end;}
	for(var i = 1; i <= edx; i++){
		obj = document.getElementById(eid+i);
		obj.style.lineHeight = start+'em';
		var hmar = (end - start) * 300;
		if(hmar < 0 && document.all) hmar = 0;
		obj.style.paddingLeft = hmar+'px';
	}
}
