function showHelp(text){
	// document.getElementById('help').value = text;
}

// Show hightlighted element
function showDecor(element){
	document.getElementById(element).className = "menulink-hover";
}

// Restore element's previos class
function restoreDecor(element){
	document.getElementById(element).className = "menulink";
}