function getHeight(id)
{
	element = document.getElementById(id);
	if (element.offsetHeight)
	{
		return element.offsetHeight;
	}
	else if (element.style.pixelHeight)
	{
		return element.style.pixelHeight;
	}
}