function enlargeNav() {
	document.getElementById('header_nav_flash').style.height = "300px";
}

function reduceNav() {
	document.getElementById('header_nav_flash').style.height = "30px";
}