function getFrameHeight(frame)
{
	if (document.all)
		return frame.document.body.clientHeight;
	else
		return frame.innerHeight;
}

function getFrameWidth(frame)
{
	if (document.all)
		return frame.document.body.clientWidth;
	else
		return frame.innerWidth;
}

function getDiv(divName)
{
	var retVal;
	if (document.all)
		retVal = eval("document.all." + divName);
	else if (document.getElementById)
		retVal = document.getElementById(divName);

	// Old Netscape?
	else if (document.layers)
		retVal = eval("document." + divName);

	return retVal;
}

function setDivTop(div, top)
{
	if (document.all)
		div.style.pixelTop = top;

	// Mozilla.
	else if (document.getElementById)

		div.style.top = top + 'px';

	// Old Netscape?
	else if (document.layers)
		div.top = top;
}

function setDivLeft(div, left)
{
	if (document.all)
		div.style.pixelLeft = left;

	// Mozilla.
	else if (document.getElementById)

		div.style.left = left + 'px';

	// Old Netscape?
	else if (document.layers)
		div.left = left;
}

function setDivVisibility(div, visible)
{
	if (document.all || document.getElementById)

		div.style.visibility = (visible ? "visible" : "hidden");

	// Old Netscape?
	else if (document.layers)
		div.visibility = (visible ? "show" : "hidden");
}

function getDivHeight(div)
{
	if (document.all || document.getElementById)
		return div.offsetHeight;
	else if (document.layers)
		return div.clip.height;
}

function getDivWidth(div)
{
	if (document.all || document.getElementById)
		return div.offsetWidth;
	else if (document.layers)
		return div.clip.width;
}