function adjustbox(hgt, bid) {
	document.getElementById(bid).height = hgt+"px";
}

function nullFlashLoopFunction() { __flash_savedUnloadHandler = null; }
window.onbeforeunload = nullFlashLoopFunction;