// 
function setHeight(idName, newHeight)
	{
		document.getElementById(idName).style.height = newHeight;
	}