<!--
function showPath(path) {
	document.getElementById('prog').className = 'hide';
	document.getElementById('dept').className = 'hide';
	document.getElementById(path).className = '';
}
//-->