function display(text)
	{
	window.status = text;
	}

//reloads the window if Nav4 resized

if(!window.saveInnerWidth) {
 window.onresize = resizeIt;
 window.saveInnerWidth = window.innerWidth;
 window.saveInnerHeight = window.innerHeight;
}

function resizeIt() {
 if (saveInnerWidth < window.innerWidth || 
  saveInnerWidth > window.innerWidth || 
  saveInnerHeight > window.innerHeight || 
  saveInnerHeight < window.innerHeight ) 
 {
  window.history.go(0);
 }
}