/*
 * Debugging aid
 */
var DebugStr = null;
var TimeoutID = null;

function fixrhs(focusid) {
	if (!xIE4Up) return;
	var lhs = document.getElementById("lhs");
	var rhs = document.getElementById("rhs");
	rhs.style.position = "absolute";
	rhs.style.styleFloat = "none";
	rhs.style.top = xOffsetTop(lhs) + "px";
	rhs.style.left = xWidth(lhs) + "px";
	document.getElementById(focusid).focus();
}