'main.html', 'Publications'=>'publications.html'); foreach ($pages as $tabname=>$location) { ?>