function PortalHeaderRouter (dest) { if (PortalHeaderEval (dest) == 0) { document.location = dest; } }