// dynamically sets current page marker

var i=0;

for ( i = 0; i < document.links.length; i += 1) {
	
	var a = document.links[i]

	if (a.href == window.location) {
		a.setAttribute("id","selected")
	}
}