// hilite the left menu when it is the current menu
// #include "mainFunctions.js"
hiliteLeftMenu();