function selectMenu(num) {
	if ((num > 0) && (num < 8)) {
		var menu = document.getElementById('menu');
		var anchor = menu.getElementsByTagName('a');
		anchor.item(num-1).className = 'selected';
	}
}

