function mainMenu() {
	if (document.getElementById("mainMenu")) {
		var url = window.location.href;
		if (url.substring(url.length - 1, url.length) != "/") {
			var fileName = url.substring(url.lastIndexOf("/") + 1, url.lastIndexOf("."));
		} else {
			var fileName = "index";
		}
		var aElement = document.getElementById("mainMenu").getElementsByTagName("a");
		for (var i = 0; i < aElement.length; i++) {
			if (aElement[i].href.substring(aElement[i].href.length - 1, aElement[i].href.length) != "#") {
				var aElementName = aElement[i].href.substring(aElement[i].href.lastIndexOf("/") + 1, aElement[i].href.lastIndexOf("."));
				if (aElementName == fileName) {
					aElement[i].parentNode.className = "current";
				}
			}
		}
	}
}
function windowHeightCalculation() {
	var windowHeight = (window.innerHeight) ? /*non IE*/ window.innerHeight : /*IE 6+*/ document.documentElement.clientHeight;
	return windowHeight;
}
function footerPlacement() {
	if (document.getElementById) {
		var windowHeight = windowHeightCalculation();
		if (windowHeight > 0) {
			var footerElement = document.getElementById('footer');
			var footerHeight = footerElement.offsetHeight;
			var mainElement = document.getElementById('main');
			var headerHeight = document.getElementById('header').offsetHeight;
			var mainHeight = mainElement.offsetHeight;
			var footerOffset = windowHeight - (headerHeight + mainHeight + footerHeight);
			if (footerOffset >= 0) {
				mainElement.style.height = mainHeight + footerOffset + 'px';
				footerElement.style.top = footerOffset + 'px';
			} else {
				footerElement.style.top = '0px';
			}
		}
	}
}
window.onload = function() {
	mainMenu();
	footerPlacement();
}
window.onresize = function() {
	footerPlacement();
}