    /* 
    Portal plugin requires use of "portal.css", "portal.js"
    You also need to define three javascript globals:
    1) '_pTabId' which is used to select the tab for your project,
     valid values are pHome, pMouseBrain, pMouseSpinalCord, pDevelopingMouseBrain, pHumanBrain, pMoreProjects, pSleep, etc.
    2) '_pMoreProjectsId' which is used to select the appropriate tab that will appear in the spot occupied by the 'More Projects' tab. Most of the time, this will be the "More Projects" tab itself, but if the current app is one listed in the "More Projects" drop down menu, it will have the same value as that used  for 'pTabId'. Example: current app is "Sleep", so _pTabId = _pMoreProjectsId = "pSleep"
    3) '_pImagePath' which is used to find the portal plugin image files. This path must be terminated with a '/'
    
    Examples:
       <script type="text/javascript">
          var pTabId = "pMouseBrain";
          var pMoreProjectsId = "pMoreProjects";
          var pImagePath = "/plugin_assets/portal_plugin/images/";
       </script>
    */
    document.write('<div id="pHeader">');
        document.write('<table width="1024" border="0" cellpadding="0" cellspacing="0">');
            document.write('<tr>');
                // -- td width, height is for logo --
                document.write('<td width="240" height="96" rowspan="2" align="left" valign="top">');
                    document.write('<div id="pLogo">');
                        document.write('<a href="' + _pTabLinks["pHome"] + '" target="_self"><img src="' + _pImagePath + 'logo_AIBS.gif" alt="Allen Institute Logo" title="Allen Institute Logo" border="0" /></a>');
                    document.write('</div>');
                document.write('</td>');
                document.write('<td align="left" valign="bottom">');
                    // -- site search --
/*                    document.write('<div class="pSiteSearch">');
                    document.write('<input type="text" name="pSiteSearchTextInput" id="pSiteSearchTextInput" / -->&nbsp;&nbsp;');
                    document.write('<input type="button" name="pSiteSearchButton" id="pSiteSearchButton" value="Search Projects" onclick="doSiteSearch();" class="pSearch" />');
                    document.write('</div>');*/
                document.write('</td>');
            document.write('</tr>');
            document.write('<tr>');
                document.write('<td align="left" valign="bottom">');
                    document.write('<div id="pTabContainer" class="pTabDefault pLink">');
                            document.write('<div id="pHome"><a href="' + _pTabLinks["pHome"] + '"target="_self">' + _pTabNames["pHome"] + '</a></div>');
                            document.write('<div id="pMouseBrain"><a href="' + _pTabLinks["pMouseBrain"] + '" target="_self">' + _pTabNames["pMouseBrain"] + '</a></div>');
                            document.write('<div id="pDevelopingMouseBrain"><a href="' + _pTabLinks["pDevelopingMouseBrain"] + '" target="_self">' + _pTabNames["pDevelopingMouseBrain"] + '</a></div>');
                            document.write('<div id="pMouseSpinalCord"><a href="' + _pTabLinks["pMouseSpinalCord"] + '" target="_self">' + _pTabNames["pMouseSpinalCord"] + '</a></div>');
                            document.write('<div id="pHumanBrain"><a href="' + _pTabLinks["pHumanBrain"] + '" target="_self">' + _pTabNames["pHumanBrain"] + '</a></div>');
                            document.write('<div id="' + _pMoreProjectsId + '"><a href="#" target="_self" onClick="return _pDropDownMenu(this, event, _pMoreProjectsMenu, ' + _pMoreProjectsPopupWidth + ')">' + _pTabNames[_pMoreProjectsId] + '</a>');
                            document.write('&nbsp;<img name="_pTriangle" border="0" src="' + _pImagePath + 'arrow_off.gif" onClick="return _pDropDownMenu(this, event, _pMoreProjectsMenu, ' + _pMoreProjectsPopupWidth + ')" onMouseOver="_pTriangleMouseOver()" onMouseOut="_pTriangleMouseOut()">');
                            document.write('</div>');
                    document.write('</div>');
                document.write('</td>');
            document.write('</tr>');
        document.write('</table>');
    document.write('</div>');
