function setSwfNaviHeight(n) {
	document.getElementById ("swf_navi").style.height = n + "px";
}