// JavaScript Document
function resize(number) {
	document.getElementById("flashcontent").style.height = number+"px";
}
function deresize() {
	document.getElementById("flashcontent").style.height = 100+"%";
}
function getHeight() {
	if (window.innerHeight) {
		return window.innerHeight;
	} else if (document.body && document.body.offsetHeight) {
		return document.body.offsetHeight;
	} else {
		return 0;
	}
}