// JavaScript Document
function setHeight(n)
{
	document.getElementById ("flashcontent").style.height = n + "px";
	document.getElementById ("main").style.height = n + "px";
}

function scrollTo (n) {
	window.scrollBy (0, -n * 15);
}