matchColumns=function() {
	var page_navigation,main,maxHeight; 	
	// get all <div> elements in the document 
	page_navigation=document.getElementById('page_navigation')
	main=document.getElementById('main')
	if(page_navigation && main) {
  	maxHeight=Math.max(page_navigation.offsetHeight,main.offsetHeight); 
  	main.style.height = maxHeight+10 + "px"; 
  	page_navigation.style.height = maxHeight+10 + "px"; 
	}
} 

// Runs the script when page loads 
//if (isJsEnabled()) {
//  addLoadEvent(matchColumns);
//}