configureMenu(3); echo $whichMenu->getWhichJS(); include $_SERVER["DOCUMENT_ROOT"].'/header_scripts.php'; ?>
getWhichSideMenu(''); ?>
getWhichHTML(); ?>