function resizeIframe(iframeID)	{

   	var FramePageHeight = framePage.scrollHeight + 5;
    	parent.document.getElementById(iframeID).style.height=FramePageHeight;}
	

function changemenucolor(obj, txt){
		
	
	if (txt == "leave") { obj.bgColor = ''; obj.style.fontSize ='9pt'} 
	else { obj.bgColor ='#A23D49';obj.style.fontSize ='9.5pt'}}

function changeloc(obj){
document.all.Loc.innerText = obj.innerText ;
document.all.IFrame1.src = 'pages/' + obj.innerText.toLowerCase() + '.html';

}