-1) { var loc = getExternalLink(page); http_reply.status = '301 Moved Permanently'; http_reply.header['Location'] = loc; exit(); } var pagePath = getPagePath(page); if (pagePath == null) page = '000-home.xjs'; var page_ctrl = getCtrlLine(pagePath); ?> <? write(page_ctrl.title + ': ' + system.name); ?>