function resizeSWF(h) {
	var height = Math.max(minHeight, h);
	//alert("RESIZING TO " + height);
	/*
	if (swffit)
		swffit.fit('theswf', 900, height);
	else
	*/
	document.getElementById('theswf').style.height = height + 'px';
}

function flashwindow(url, w, h) {
	var w = window.open(url, '', 'width=' + w + ',height=' + h + ',resizable,scrollbars');
}

function flashDebug(txt) {
	if (window.console && window.console.log) {
		console.log(txt);
	}
}