// JavaScript Document

function changeHeight(divId, divHeight){
	document.getElementById(divId).style.height = divHeight;
}