/*window.addEvent('domready',findExternalLinks);*/

function highlightMenu(num){
	switch (num) {
	case 1:
		var a = $('li.item80');
		//var a = $$('ul').getElements('li[class=item80]');
		//a.addClass('
		//a.setStyle('display', 'none');
		window.alert("works");
		//var myBox = $$('li.portCategory');
	//var myBoxOpen = $('portMenu').getElements('ul[class=portItems]');
	//myBoxOpen.setStyle('display', 'block');
	break;
	
	case 2:
		$('#nav li.item622').set('class', 'active');
	break;
	
	case 3:
		$('#nav li.item637').set('class', 'active');
	break;

	default:
		$('#nav li.item639').set('class', 'active');
	}
}