// JavaScript Document

function checkPageHeight() {
	var myheight = document.getElementById("contentarea").offsetHeight;
	document.getElementById("strokelef").style.height = myheight+"px";
	document.getElementById("strokerig").style.height = myheight+"px";
}