ls(); $next = intval($_REQUEST['jjsrefreshindex']); $pause = max(0,intval($_REQUEST['jjsrefreshtimeout'])); if ($next < count($PageList)) { $pagename = $PageList[$next]; $next++; $pageurl = FmtPageName('$PageUrl',$pagename); $elem = ''; $HTMLHeaderFmt['jjsrefresh'] = $elem; } } ?>