// JavaScript Document
function setHtmlElementSizeById(eIdName, width, height)
{
	var element = document.getElementById(eIdName);
	element.style.height = height + "px";	
}