<!-- comment out the script to hide it from older browsers
// Menu scripts

// This function creates a robot-proof e-mail link 
function go_in(btnNo){	// Receives the number of the button
	document.getElementById('Btn' + btnNo).color='blue'
	try {
		document.getElementById('SubMenu' + btnNo).className = 'menuHover'
	} catch(err) {
	}
}

function go_out(btnNo){	// Receives the number of the button
	document.getElementById('Btn' + btnNo).color='black'
	try {
		document.getElementById('SubMenu' + btnNo).className = 'menuNormal'
	} catch(err) {
	}
}

-->