over = false;

function fade() {
	document.getElementById("header").style.height = fadeHeight + "px";
	document.getElementById("swfobject_flash1").height = fadeHeight + "px";
}

function AdjustHeightOver(id) {
	switch (id)	{
	case 1: fadeHeight = 350; break;
	case 2: fadeHeight = 250; break;
	case 3: fadeHeight = 140; break;
	default: fadeHeight = 350;
	}
	fade();
	over = true;
}

function AdjustHeightOut() {
	if (!over) {
		fadeHeight = 89;
		fade();
	}
}

function adjustHeightBlur() {
	over = false;
}