function changeDivHeight(name_of_div, new_height, name_of_swf)
{
	document.getElementById(name_of_div).style.height=new_height;
	document.getElementById(name_of_swf).style.height=new_height;
	/*
	alert(document.getElementById(name_of_div).style.height);
	alert(document.getElementById(name_of_swf).style.height);
	*/
}