function setMenu() {
	if(document.getElementsByTagName) {
		var x = document.getElementById("menu").getElementsByTagName("A");
		for(i=0;i<x.length;i++) {
			if(document.location.href.indexOf(x[i].href) > -1) {
				x[i].className = "current";
			}
		}
	}
}

function init() {
	setMenu();
}

window.onload = init;