// JavaScript Document
function documentUpdateDate(){
	datelastmod = new Date(document.lastModified)
	document.write(datelastmod.getDate() + "/" + (datelastmod.getMonth()+1) + "/" + datelastmod.getFullYear() +".") 
}
//These scripts combine to put the footer in the right place. The first measures the height of the window.
//The second measures the height of the relatively position divs and either positions the footer relatively, 
//if they're higher than the window height, or absolutely stuck to the bottom of the window id the page is short.
		function getWindowHeight() {
			var windowHeight = 0;
			if (typeof(window.innerHeight) == 'number') {
				windowHeight = window.innerHeight;
			}
			else {
				if (document.documentElement && document.documentElement.clientHeight) {
					windowHeight = document.documentElement.clientHeight;
				}
				else {
					if (document.body && document.body.clientHeight) {
						windowHeight = document.body.clientHeight;
					}
				}
			}
			return windowHeight;
		}
		function setFooter() {
			if (document.getElementById) {
				var windowHeight = getWindowHeight();
				if (windowHeight > 0) {
					var contentHeight = document.getElementById('banner').offsetHeight + document.getElementById('mainContent').offsetHeight;
					var footerElement = document.getElementById('footer');
					var footerHeight  = footerElement.offsetHeight;
					if (windowHeight - (contentHeight + footerHeight) >= 0) {
						footerElement.style.position = 'relative';
						footerElement.style.top = (windowHeight - (contentHeight + footerHeight)) + 'px';
					}
					else {
						footerElement.style.position = 'static';
					}
				}
			}
		}