function matchHeight()
	{
		var ht1 = document.getElementById('prog1').offsetHeight;
		document.getElementById('prog2').style.height = ht1 + "px";
	}
	
	
function matchHeightLink() //not used
	{
		var ht2 = document.getElementById('title').offsetHeight;
		document.getElementById('firstLink').style.height = ht2 + "px";
	}