//div resize for flash navigation
var pageLoad = false;

function pageTrue(){
	pageLoad = true;
	if(window.renauNavigation) window.document["renauNavigation"].SetVariable("pageLoad", "true");
	if(document.renauNavigation) document.renauNavigation.SetVariable("pageLoad", "true");
	resizeDiv("40px", "hidden");
};

function resizeDiv(h,o) {
	if(pageLoad == true){
		if(window.renauNavigation) window.document.getElementById("nav").style.height = h;
		if(window.renauNavigation) window.document.getElementById("nav").style.overflow = o;
		if(document.renauNavigation) document.getElementById("nav").style.height = h;
		if(document.renauNavigation) document.getElementById("nav").style.overflow = o;
	}
};

window.onload=pageTrue;