/**
 * menu.js
 */
 
/**
* Define the element parameter with the class named "current"
*/
function defineAsCurrentMenu(nameOfElement) {
	elementId = document.getElementById(nameOfElement);
	elementId.className="current";
}