function dummy_never_called() { var a= 'hello'} 


	if (document.getElementById('morenotes')) {
		document.getElementById('morenotes').innerHTML= "<p>All frequencies are unweighted.</p>"+ document.getElementById('morenotes').innerHTML
	}
	if (page_created && document.getElementById('footer_updateddate')) {
		document.getElementById('footer_updateddate').innerHTML = 'Data last processed on: ' + page_created  + '';
	}