Time Channel Speaker No messages, processing more in --:-- --  0.033 seconds
       
18:05:15 wiley SYSTEM@WileyMUD Nobody's awake today, yet...
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
<?php
$time_start 
microtime(true);
require_once 
'site_global.php';
require_once 
'page_source.php';
require_once 
'random_background.php';
require_once 
'pinkfish_colors.php';
require_once 
'navbar.php';
require_once 
'log_navigation.php';

$do_extra_ajax          1;

$DATA_URL               "$URL_HOME/log_chunk.php";
$RESULT_LIMIT           400;  // Fetch no more than this many per request
$DISPLAY_LIMIT          1200// Keep no more than this many in the table

$the_search_term NULL;
if(
array_key_exists('search'$_GET)) {
    
$the_search_term $_GET['search'];
    
// /p{P} matches punctuation with /u for unicode aware.
    // /p{L} would match letters, and /P{L} would match non-letters.
    
if(!is_null($the_search_term)) {
        
$the_search_term preg_replace('/[\p{P}]+/u'''$the_search_term);
    }
}
$the_date NULL;
if(
array_key_exists('date'$_GET)) {
    
$the_date $_GET['date'];
}
$start_paused false;
if(
array_key_exists('pause'$_GET)) {
    
$start_paused true;
}
$no_initial_scroll false;
if(
array_key_exists('noscroll'$_GET)) {
    
$no_initial_scroll true;
}
$toggle_background false;
if(
array_key_exists('togglebg'$_GET)) {
    
$toggle_background true;
}

?>
<html lang="en">
    <head>
        <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
        <meta charset="utf-8" />
        <meta content-language="en, jp" />
        <meta http-equiv="cache-control" content="no-cache" />
        <meta http-equiv="pragma" content="no-cache" />
        <title>Intermud-3 Log Page</title>
        <!-- Global site tag (gtag.js) - Google Analytics -->
        <script async src="https://www.googletagmanager.com/gtag/js?id=UA-163395867-1"></script>
        <script>
          window.dataLayer = window.dataLayer || [];
          function gtag(){dataLayer.push(arguments);}
          gtag('js', new Date());

          gtag('config', 'UA-163395867-1');
        </script>
        <link rel="stylesheet" href="<?php echo $SITE_GLOBAL_CSS;?>">
        <link rel="stylesheet" href="<?php echo $JQUI_CSS;?>">
        <link rel="stylesheet" href="<?php echo $JQUI_THEME;?>">
        <link rel="stylesheet" href="<?php echo $PAGE_SOURCE_CSS;?>">
        <link rel="stylesheet" href="<?php echo $BACKGROUND_CSS;?>">
        <link rel="stylesheet" href="<?php echo $NAVBAR_CSS;?>">
        <link rel="stylesheet" href="<?php echo $LOG_NAV_CSS;?>">
        <link rel="stylesheet" href="<?php echo $LOG_PAGE_CSS;?>">
        <!-- font-family:"ヒラギノ角ゴ Pro W3", "Hiragino Kaku Gothic Pro",Osaka, "メイリオ", Meiryo, "MS Pゴシック", "MS PGothic", sans-serif; -->
        <script src="<?php echo $JQ;?>"></script>
        <script src="<?php echo $JSCOOKIE;?>"></script>
        <script src="<?php echo $JSRANDOM;?>"></script>
        <script src="<?php echo $JSMD5;?>"></script>
        <script src="<?php echo $MOMENT;?>"></script>
        <script src="<?php echo $MOMENT_TZ;?>"></script>
        <script src="<?php echo $JQUI;?>"></script>
        <script src="<?php echo $SITE_GLOBAL_JS;?>"></script>
        <script src="<?php echo $BACKGROUND_JS;?>"></script>
        <script src="<?php echo $PINKFISH_JS;?>"></script>
        <script src="<?php echo $NAVBAR_JS;?>"></script>
        <script src="<?php echo $LOG_NAV_DATES_JS;?>"></script>
        <script src="<?php echo $LOG_NAV_JS;?>"></script>

        <script language="javascript">
            var ToggleBackground = <?php echo $toggle_background "true" "false"?>;
            if(ToggleBackground) {
                if(Cookies.get('nobackground')) {
                    Cookies.remove("nobackground");
                } else {
                    Cookies.set("nobackground", true);
                }
                // force reload to pick this up.
                window.location.href = '<?php echo "$LOG_URL"?>';
            }
        </script>
        <script language="javascript">
            var WasAtBottom = false;
            var ContentTimer;
            var CountdownTimer;
            var PauseTimer;
            var IsPaused = <?php echo ($start_paused == true) ? "true" "false"?>;
            var NoScroll = <?php echo ($no_initial_scroll == true) ? "true" "false"?>;
            var PauseIconIsRed = true;
            var Ticks = 0;
            var SlowDelay = 1;
            var CurrentTickCountdown = 1;
            var GotDataLastTime = false;
            var dataUrlBase = "<?php echo $DATA_URL?>";
            var LastRow = 0; // unix timestamp of most recent data
            var FirstRow = 0; // unix timestamp of oldest data kept
            var MD5s = [];
            var RowCount = 0; // number of rows we have now
            var RowLimit = <?php echo $RESULT_LIMIT?>;
            var DisplayLimit = <?php echo $DISPLAY_LIMIT?>;
            var FirstScreen = true;
            var FirstTimeNewRow = true;
            var TheDate = "<?php echo $the_date?>";
            var DoExtraAjax = <?php echo $do_extra_ajax?>;
            var SearchTerm = "<?php echo $the_search_term?>";

            function on_scroll() {
                var body = document.body;
                var html = document.documentElement;
                var bt = document.getElementById("navbar-button-top");
                var bb = document.getElementById("navbar-button-bottom");
                var doc_height = Math.max( body.scrollHeight, body.offsetHeight,
                    html.clientHeight, html.scrollHeight, html.offsetHeight );

                // This is used so that if we add more content and
                // nothing scrolls the page, we know we COULD
                // scroll further, if the user were at the bottom
                // and thus done reading it.
                WasAtBottom = false;
                if( window.innerHeight >= doc_height ) {
                    // The page fits entirely on the screen, no scrolling possible.
                    dim(bb);
                    dim(bt);
                } else if( (window.innerHeight + window.pageYOffset) >=
                    (document.body.offsetHeight) ) {
                    // We are at the bottom of the page.
                    dim(bb);
                    brighten(bt);
                    WasAtBottom = true;
                    NoScroll = false;
                } else if( window.pageYOffset <= 1 ) {
                    // We are at the top of the page.
                    brighten(bb);
                    dim(bt);
                } else {
                    // We're somewhere in the middle.
                    brighten(bb);
                    brighten(bt);
                }
            }
            function shouldBlur(channel, message) {
                if(channel == "free_speech") {
                    return true;
                } else if(channel == "bsg") {
                    return true;
                } else {
                    var regexp_fs = /on\s+free_speech\&gt\;/;
                    var regexp_bsg = /on\s+bsg\&gt\;/;
                    var regexp_spoiler = /^spoiler:/i;
                    var regexp_redacted = /\[(spoiler|redacted)\]/i;
                    if(regexp_spoiler.test(message)) {
                        return true;
                    } else if(regexp_redacted.test(message)) {
                        return true;
                    } else if(regexp_fs.test(message)) {
                        return true;
                    } else if(regexp_bsg.test(message)) {
                        return true;
                    }
                }
                return false;
            }
            function isUrlBotRow(tr) {
                var trChannel = tr.find(".content-channel-column span").text();
                var trSpeaker = tr.find(".content-speaker-column span").text();
                if(trChannel == "url" && trSpeaker == "URLbot") {
                    return true;
                }
                return false;
            }
            function doesUrlBotTimeMatch(tr, row) {
                var yourTimeZone = Intl.DateTimeFormat().resolvedOptions().timeZone;
                var trDate = tr.find(".content-date-column").text();
                var trTime = tr.find(".content-time-column span").text();
                var trMoment = moment.tz(trDate + " " + trTime, yourTimeZone);
                var trUnix= trMoment.unix();

                // Server Time Zone
                var oldMoment = moment.tz(row.the_date + " " + row.the_time, "America/Los_Angeles");
                var newMoment = oldMoment.clone().tz(yourTimeZone);
                var newUnix= newMoment.unix();

                if(trUnix == newUnix) {
                    return true;
                }
                return false;
            }
            function isComingSoon(message) {
                return /COMING\s+SOON\!(?:\s+\((?<counter>\d+)\))?/.test(message);
            }
            function incrementComingSoon(message) {
                var trMatch = message.match(/COMING\s+SOON\!(?:\s+\((?<counter>\d+)\))?/);
                if(trMatch !== null) {
                    var trCounter = trMatch.groups["counter"];
                    var trValue = 1;
                    var trNewMessage = "";
                    if(trCounter !== undefined) {
                        trValue = parseInt(trCounter) + 1;
                        // Replace original with new value
                        trNewMessage = message.replace(/COMING\s+SOON\!\s+\(\d+\)/, "COMING SOON! (" + trValue + ")");
                    } else {
                        // Add counter on the end
                        trNewMessage = message.replace(/COMING\s+SOON\!/, "COMING SOON! (" + trValue + ")");
                    }
                    return trNewMessage;
                }
                return message;
            }
            function firstDateInTable() {
                return $("#content-table tr").eq(1).children(".content-date-column").text();
            }
            function lastDateInTable() {
                return $("#content-bottom").children(".content-date-column").text();
            }
            function updateProcessingTime() {
                clearTimeout(CountdownTimer);
                $('#tick').html(secsToHMS(CurrentTickCountdown));
                $('#message-count').html(MD5s.length);
                CurrentTickCountdown--;
                if(CurrentTickCountdown < 1) {
                    CurrentTickCountdown = 0;
                }
                CountdownTimer = setTimeout(updateProcessingTime, 1000);
            }
            function updateContent() {
                clearTimeout(ContentTimer);
                var startTime = performance.now();
                var dataUrl;
                Ticks++;
                if(LastRow > 0) {
                    // Grab another chunk from where we left off
                    dataUrl = dataUrlBase + "?from=" + LastRow + "&limit=" + RowLimit;
                    if(SearchTerm !== "") {
                        dataUrl = dataUrl + "&search=" + SearchTerm;
                    }
                } else if(TheDate !== "") {
                    // Server Time Zone
                    var midnightMoment = moment.tz(TheDate, "America/Los_Angeles");
                    var midnightUnix = midnightMoment.unix();

                    // Because we now start paused when given a date,
                    // we don't have to care if this is our first time or not.
                    // After our first run, LastRow will be set to the latest
                    // date available, so we'll be in the other part of the if
                    // clause.
                    // Edge case:  No data for a given day?
                    //
                    // ALSO, we might as well just ignore the RowLimit if we're asking
                    // for a specific day... instead, we'll use the DisplayLimit,
                    // which should be larger, again, since we start paused.

                    dataUrl = dataUrlBase + "?from=" + midnightUnix + "&to=" + (midnightUnix + 86400) + "&limit=" + DisplayLimit;
                    //dataUrl = dataUrlBase + "?limit=" + RowLimit + "&date=" + TheDate;
                    if(SearchTerm !== "") {
                        dataUrl = dataUrlBase + "?from=" + midnightUnix + "&limit=" + DisplayLimit;
                        dataUrl = dataUrl + "&search=" + SearchTerm;
                    }
                } else {
                    // Must want current stuff... and again, use the DisplayLimit.
                    dataUrl = dataUrlBase + "?from=" + server_time_midnight() + "&limit=" + DisplayLimit;
                    if(SearchTerm !== "") {
                        dataUrl = dataUrl + "&search=" + SearchTerm;
                    }
                }
                $.ajax({
                    url: dataUrl,
                }).then(function(data) {
                    randomizeBackground();
                    updateRefreshTime();
                    $.each(data, function(rowId, row) {
                        LastRow = row.unix_time;
                        if(FirstRow < 1) {
                            FirstRow = row.unix_time;
                        }

                        var blur = "unblurred";
                        if(shouldBlur(row.channel, row.message)) {
                            blur = "blurry";
                        }
                        // Remap channel name
                        if( row.channel == "japanese" ) {
                            row.channel = "日本語";
                        }

                        //We used to remove RESET tags to avoid spurious </span> elements
                        //that would screw up other formatting... but it looks like we can
                        //instead just change those to <div> elements, meaning an extar closing
                        //</span> won't matter.
                        //row.message = row.message.split('%^RESET%^').join('');
                        row.message = handle_colors(row.message);
                        // HTML entity and URL processing are done in the AJAX
                        // script that feeds us, as it's just easier there.

                        // Localize time to browser
                        var yourTimeZone = Intl.DateTimeFormat().resolvedOptions().timeZone;
                        var yourLocale = (navigator.languages && navigator.languages.length) ?
                            navigator.languages[0] : navigator.language;
                        var oldMoment = moment.tz(row.the_date + " " + row.the_time, "America/Los_Angeles");
                        var newMoment = oldMoment.clone().tz(yourTimeZone);
                        var newDate = newMoment.format('YYYY-MM-DD');
                        var newTime = newMoment.format('HH:mm:ss');
                        var newHour = newMoment.hour();
                        var newColor = '<span style="color: ' + hour_map[newHour] + '">';
                        var yesterMoment = newMoment.clone().add(-1, 'hours');
                        var yesterDate = yesterMoment.format('YYYY-MM-DD');
                        // I3 Activity on 2021-11-11: 74 messages from 5 speakers.  Logs and MUD-list at <a href="http://wileymud.themud.org/~wiley/log/" target="I3-link">http://wileymud.themud.org/~wiley/log/</a>
                        var yesterRegex = /Logs and MUD-list at <a href="https?:\/\/wileymud.themud.org\/\~wiley\/log\/.*"/;

                        if(row.speaker == 'Cron@WileyMUD' && yesterRegex.test(row.message)) {
                            // A log URL without a date is here...
                            //alert(row.speaker);
                            var yesterChomp = /at <a href="https?:\/\/wileymud.themud.org\/\~wiley\/log\/.*/;
                            row.message = row.message.replace(yesterChomp,
                                'at <a href="' + https() + '://wileymud.themud.org/log/?noscroll&date='+ yesterDate +
                                '" target="_self">' + https() + '://wileymud.themud.org/log/?noscroll&date='+ yesterDate +
                                '</a>');
                        }

                        var newRow = '<tr id="content-bottom">';
                        newRow = newRow + '<td class="content-date-column">' + newDate + '</td>';
                        newRow = newRow + '<td class="content-time-column">' + newColor + newTime + '</span>' + '</td>';
                        newRow = newRow + '<td class="content-channel-column">' + row.channel_html + row.channel + '</span>' + '</td>';
                        newRow = newRow + '<td class="content-speaker-column">' + row.speaker_html + row.speaker + '</span>' + '</td>';
                        newRow = newRow + '<td class="content-message-column">' + '<div class="' + blur + '">' + row.message + '</div>' + '</td>';
                        newRow = newRow + '</tr>';
                        var newMD5 = hex_md5(newRow);

                        if(MD5s.indexOf(newMD5) == -1) {
                            MD5s.push(newMD5);
                            if(FirstTimeNewRow == true) {
                                // If this is our first time, remove the placeholder
                                // row that's in the vanilla HTML...
                                $('#content-bottom').remove();
                                FirstTimeNewRow = false;
                            } else {
                                // Otherwise, just demote it.
                                $('#content-table tr:last').removeAttr('id');
                            }
                            $('#content-table tr:last').after(newRow);
                            // If we're over our limit, remove a row from the top
                            if($('#content-table tr').length > (DisplayLimit + 1)) {
                                $('#content-table tr:eq(1)').remove();
                                //$('#content-table tr:eq(0)').remove();
                                //$('#content-table tr:eq(0)').attr('id', 'content-top');

                                // Now we update the oldest row time to be the new oldest row
                                var row_date = $('#content-table tr:eq(1) td:eq(0)').text();
                                var row_time = $('#content-table tr:eq(1) td:eq(1) span').text();
                                var rowMoment = moment.tz(row_date + " " + row_time, yourTimeZone);
                                FirstRow = rowMoment.unix();
                            }
                            // Note that we got at least some data...
                            GotDataLastTime = true;
                        }
                    });
                    if(FirstScreen == true || WasAtBottom == true) {
                        // The very first time we load the page, we want
                        // to scroll down to the latest content.
                        // Also, if the user was at the bottom (before we
                        // added stuff), they probably will want to see the
                        // new stuff too.  Otherwise, let them keep reading
                        // at their own pace.
                        if(NoScroll == false) {
                            scroll_to('content-bottom');
                        }
                        if(IsPaused == true) {
                            // Prevent future runs of this until we clock play
                            pauseUpdate();
                        }
                        if(GotDataLastTime == true) {
                            FirstScreen = false;
                        }
                    }
                    if(GotDataLastTime == true) {
                        // Reset the delay, because we actually got a result back.
                        Ticks = 1;
                        on_scroll();
                        GotDataLastTime = false;
                    }
                    var endTime = performance.now();
                    var elapsedTime = endTime - startTime;
                    $('#elapsed').html(Math.round(elapsedTime) / 1000.0);
                });

                // At this point, we can check to see if we have any urlbot
                // rows that were not really filled in, and if so, do our extra
                // check to see if they can be updated...
                var FoundComingSoon = false;
                //console.log("Rows: " + $("#content-table > tbody > tr").length);

                $("#content-table > tbody > tr").each( function(index, tr) {
                    if(isUrlBotRow($(this))) {
                        var trMessage = $(this).find(".content-message-column").html();

                        if(isComingSoon(trMessage)) {
                            FoundComingSoon = true;
                            var trNewMessage = incrementComingSoon(trMessage);
                            $(this).find(".content-message-column").html(trNewMessage);
                        }
                    }
                });
                //console.log("FoundComingSoon: " + FoundComingSoon);

                if(DoExtraAjax && FoundComingSoon) {
                    // At this point, FirstRow and LastRow hold the unix timestamps
                    // of the content we have in our table.  So if we need to
                    // ask for just the urlbot entries between those, we could
                    // do so somewhere around here...

                    dataUrl = dataUrlBase + "?from=" + FirstRow + "&to=" + LastRow + "&urlbot";
                    //console.log("New URL: " + dataUrl);
                    $.ajax({
                        url: dataUrl,
                    }).then(function(data) {
                        //console.log("Entering");
                        $.each(data, function(rowId, row) {
                            //console.log("RowID: " + rowId);
                            // Loop over table rows.
                            $("#content-table > tbody > tr").each( function(index, tr) {
                                if(isUrlBotRow($(this))) {
                                    if(doesUrlBotTimeMatch($(this), row)) {
                                        var trMessage = $(this).find(".content-message-column").html();
                                        var newMessage = row.message.split('%^RESET%^').join('');
                                        var blurThis = "unblurred";
                                        if(shouldBlur(row.channel, row.message)) {
                                            blurThis = "blurry";
                                        }
                                        newMessage = handle_colors(newMessage);
                                        newMessage = '<div class="' + blurThis + '">' + newMessage + '</div>';

                                        if(isComingSoon(trMessage)) {
                                            // The old message is already a placeholder
                                            if(isComingSoon(newMessage)) {
                                                // Still just a placeholder, keep the old one
                                            } else {
                                                $(this).find(".content-message-column").html(newMessage);
                                            }
                                        } else {
                                            // We got a live one!
                                            $(this).find(".content-message-column").html(newMessage);
                                        }
                                    }
                                }
                            });
                        });
                    });
                }

                // Our table has now bee updated... so tweak the calendar
                // widget so it matches our data.
                // Maybe change the color of dates between first and last?
                if(FirstScreen != true) {
                    // Don't do this until we add data once, or we'll get
                    // the nonsense buffer row in the HTML...
                    $("#datepicker").val(firstDateInTable());
                }

                on_scroll();
                //We gradually slow down updates to avoid being spammed by
                //people who might leave the log page open, unattended, for
                //days on end.
                SlowDelay = Math.round(((Ticks * 1.45 / 10.0) + 1.0 + (Random.random() - 0.5)) * 100.0) / 100.0;
                CurrentTickCountdown = Math.round(SlowDelay * 60.0);
                ContentTimer = setTimeout(updateContent, 1000 * CurrentTickCountdown);
            }
            function flashPauseButton() {
                clearTimeout(PauseTimer);
                if(PauseIconIsRed == true) {
                    PauseIconIsRed = false;
                    $("#navbar-button-play").attr("src", "<?php echo $PAUSE_GREY_ICON?>");
                } else {
                    PauseIconIsRed = true;
                    $("#navbar-button-play").attr("src", "<?php echo $PAUSE_RED_ICON?>");
                }
                PauseTimer = setTimeout(flashPauseButton, 1000);
            }
            function pauseUpdate() {
                // Do this once NOW, in case the count changed
                updateProcessingTime();
                // And then disable all that.
                clearTimeout(CountdownTimer);
                clearTimeout(ContentTimer);
                clearTimeout(PauseTimer);
                IsPaused = true;
                $('#tick').html("--:--");
                $("#navbar-button-play").attr("src", "<?php echo $PAUSE_RED_ICON?>");
                $("#navbar-button-play").attr("title", "Resume updates");
                PauseIconIsRed = true;
                PauseTimer = setTimeout(flashPauseButton, 1000);
            }
            function resumeUpdate() {
                clearTimeout(PauseTimer);
                IsPaused = false;
                SlowDelay = Math.round(((Ticks * 1.45 / 10.0) + 1.0 + (Random.random() - 0.5)) * 100.0) / 100.0;
                CurrentTickCountdown = 5; // Just a few seconds to prevent spamming.
                ContentTimer = setTimeout(updateContent, 1000 * CurrentTickCountdown);
                updateProcessingTime();
                $("#navbar-button-play").attr("src", "<?php echo $PLAY_ICON?>");
                $("#navbar-button-play").attr("title", "Pause updates");
                scroll_to('content-bottom');
            }
            function clickPlayPause() {
                if(IsPaused == false) {
                    pauseUpdate();
                } else {
                    resumeUpdate();
                }
            }
            $(document).ready(function() {
                ContentTimer = setTimeout(updateContent, 100);
                CountdownTimer = setTimeout(updateProcessingTime, 100);
                hideDiv('page-source');
                //showDiv('page-load-time');
                $("#datepicker").val(queryDate);
                syncBackgroundToggleIcon();
                on_scroll(); // Call once, in case the page cannot scroll
                if(TheDate == "") {
                    dim(document.getElementById("navbar-button-home"));
                }
                $(window).on("scroll", function() {
                    on_scroll();
                });
            });
        </script>
    </head>
    <body bgcolor="<?php echo $BGCOLOR?>" text="<?php echo $TEXT?>" link="<?php echo $UNVISITED?>" vlink="<?php echo $VISITED?>">
        <div id="background-div">
            <img id="background-img" src="<?php echo $BACKGROUND_URL?>" />
        </div>
<!--
        <div id="debug-message">
            Stuff...
        </div>
-->
        <div id="back-navbar">
            <img class="nav-img" title="???!" src="<?php echo $QUESTION_ICON?>" />
        </div>
        <div id="navbar-left">
            <img class="nav-img glowing" id="navbar-button-mudlist" title="List of MUDs" src="<?php echo $MUDLIST_ICON?>" onclick="window.location.href='<?php echo $MUDLIST_URL?>';" />
            <img class="nav-img glowing" id="navbar-button-themudorg" title="Another I3 Log Page" src="<?php echo $OTHER_LOG_ICON?>" onclick="window.location.href='<?php echo $OTHER_LOG_URL?>';" />
            <img class="nav-img glowing" id="navbar-button-pie" title="Everyone loves PIE!" src="<?php echo $PIE_ICON?>" onclick="window.location.href='<?php echo $PIE_URL?>';" />
            <img class="nav-img glowing spinning" id="navbar-button-forum" title="Dead Forums" src="<?php echo $FORUM_ICON?>" onclick="window.location.href='<?php echo $FORUM_URL?>';" />
            <img class="nav-small-img glowing" id="navbar-button-background" title="Make kawaii!" src="<?php echo $BG_OFF_ICON?>" onclick="toggleBackground();" />
            <img class="nav-small-img glowing" id="navbar-button-question" title="???!" src="<?php echo $QUESTION_ICON?>" onclick="window.location.href='<?php echo $QUESTION_URL?>';" />
        </div>
        <div id="navbar-center">
            <img class="nav-img glowing" id="navbar-button-home" title="Today!" src="<?php echo $HOME_ICON?><?php if(!is_null($the_date)) { echo "onclick=\"window.location.href='$LOG_URL';\""; }?> />
            <!-- <img class="nav-small-img glowing" id="navbar-fake-home" title="Fake!" src="<?php echo $HOME_ICON?><?php if(!is_null($the_date)) { echo "onclick=\"window.location.href='$LOG_URL';\""; }?> /> -->
            <input class="glowing" type="text" id="datepicker" size="10" value="<?php echo $today?>" title="Date to begin viewing" />
            <img class="nav-img glowing" id="navbar-button-play" title="<?php echo ($start_paused == true) ? "Resume updates" "Pause updates"?>" src="<?php echo ($start_paused == true) ? $PAUSE_RED_ICON $PLAY_ICON?>" onclick="clickPlayPause();" />
        </div>
        <div id="navbar-right">
            <img class="nav-img glowing" id="navbar-button-top" title="Top of page" src="<?php echo $TOP_ICON?>" onclick="scroll_to('content-top');" />
            <img class="nav-img glowing" id="navbar-button-bottom" title="Bottom of page" src="<?php echo $BOTTOM_ICON?>" onclick="scroll_to('content-bottom');" />
            <span id="refresh-time">--:-- ---</span>
            <img class="nav-img glowing" id="navbar-button-server" title="Crusty Server Statistics" src="<?php echo $SERVER_ICON?>" onclick="window.location.href='<?php echo $SERVER_URL?>';" />
            <img class="nav-img glowing" id="navbar-button-github" title="All of this in Github" src="<?php echo $GITHUB_ICON?>" onclick="window.location.href='<?php echo $GITHUB_URL?>';" />
            <img class="nav-img glowing" id="navbar-button-discord" title="The I3 Discord" src="<?php echo $DISCORD_ICON?>" onclick="window.location.href='<?php echo $DISCORD_URL?>';" />
        </div>
        <div id="fake-navbar">
            <img class="nav-img" title="???!" src="<?php echo $QUESTION_ICON?>" />
        </div>
<?php
    
// Yes, this needs to be up here so the content-header can display it, briefly.
    
$time_end microtime(true);
    
$time_spent $time_end $time_start;
?>
        <table id="content-header">
            <tr>
                <td class="content-date-header">Date</td>
                <td class="content-time-header">Time</td>
                <td class="content-channel-header">Channel</td>
                <td class="content-speaker-header">Speaker</td>
                <td class="content-message-header">
                    <a href="javascript:;" onmousedown="toggleDiv('page-source');"><span id="message-count">No</span>&nbsp;messages, processing&nbsp;more&nbsp;in&nbsp;<span id="tick">--:--</span>&nbsp;--&nbsp;<span id="elapsed"><?php printf("%7.3f",$time_spent);?></span>&nbsp;seconds</a>
                </td>
            </tr>
        </table>
        <table id="content-table">
            <tr id="content-top">
                <td class="content-date-column">&nbsp;</td>
                <td class="content-time-column"><span>&nbsp;</span></td>
                <td class="content-channel-column">&nbsp;</td>
                <td class="content-speaker-column">&nbsp;</td>
                <td class="content-message-column">&nbsp;</td>
            </tr>
            <tr id="content-bottom">
                <td class="content-date-column">1990-08-10</td>
                <td class="content-time-column"><span style="color: #00bbbb;">18:05:15</span></td>
                <td class="content-channel-column">wiley</td>
                <td class="content-speaker-column">SYSTEM@WileyMUD</td>
                <td class="content-message-column"><font color="#ffbbbb" class="flash_tag">Nobody's awake today, yet...</font></td>
            </tr>
        </table>
<!--
        <div id="page-load-time">
        </div>
-->
        <div id="page-source">
            <?php echo numbered_source(__FILE__); ?>
        </div>
    </body>
</html>