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