function initPage()
{
	var navigation = document.getElementById("navigation");
	var links = navigation.getElementsByTagName("a");
	for (var i=0; i