function changeheight(h)
{
	document.getElementById('faculty').style.height = 'h';
}