StringReplace[StringReplace[$Failed, <#SlideShowDiv#> -> <table border=0 cellpadding=0 cellspacing=0 width=100%><tr>                                                                                          ], <#Navigation#> -> <a href="http://www.math.toronto.edu/~drorbn/Copyleft/index.html" title="My Copyleft Policy">(&#8580;)</a> |]
                                                           <td align=left><#Navigation#><span id="caption_span"><a href="2020.01-02 Groningen/index.html">2020.01-02 Groningen</a></span></td>                                       <a href="http://www.math.toronto.edu/~drorbn/">Dror Bar-Natan</a>:
                                                           <td align=right>                                                                                                                                                          <a href="../index.html">AcademicPensieve</a>: 
                                                             <a href="javascript: order();">&#x1f501;&#xfe0e;</a>                                                                                                                    <a href="index.html">Album</a>: 
                                                             <a href="javascript: shuffle();">&#x1f500;&#xfe0e;</a>
                                                             &nbsp;
                                                             <a href="javascript: prev();">&#x23Ea;&#xfe0e;</a>
                                                             <a href="javascript: toggle();">&#x23EF;&#xfe0e;</a>
                                                             <a href="javascript: next();">&#x23E9;&#xfe0e;</a>
                                                           </td>
                                                         </tr></table>
                                                         <a href="javascript: toggle();">
                                                           <img name=sample src="2020.01-02 Groningen/groningerforum_Green+screen+foto_2020_01_16-1.png" style="width:100%; height:100%; object-fit:contain;">
                                                         </a>
                                                         <script>
                                                         listing = [

                                                         ];
                                                           var olisting=listing.slice();
                                                           var len=listing.length;
                                                           var caption_span = document.getElementById("caption_span");
                                                           var j,kk,t;
                                                           var playing=true;
                                                           kk = Math.floor(len*Math.random());
                                                           function load() {
                                                             if (kk>=len) {kk=0;}
                                                             if (kk<0) {kk=len-1;}
                                                             document.images["sample"].src = listing[kk];
                                                             j = listing[kk].search("/");
                                                             t = listing[kk].slice(0,j);
                                                             caption_span.innerHTML = (("0000"+(1+kk)).slice(-4))+"/"+len+" @ <a href=\""+t+"/index.html\">"+t+"</a>";
                                                           }

                                                           function tick() {
                                                             if (playing) {++kk; load();}
                                                             setTimeout('tick()', 5000);
                                                           }

                                                           function shuffle() {
                                                             for (kk=2; kk<=len; ++kk) {
                                                               j = Math.floor(kk*Math.random());
                                                               t = listing[kk-1]; listing[kk-1]=listing[j]; listing[j]=t;
                                                             }
                                                             kk=len-1;
                                                           }

                                                           function order() {
                                                             listing=olisting.slice();
                                                             kk = Math.floor(len*Math.random());
                                                           }

                                                           function prev() {--kk; playing=false; load();}
                                                           function toggle() {playing=!playing;}
                                                           function pause() {playing=false;}
                                                           function play() {playing=true;}
                                                           function next() {++kk; playing=false; load();}
                                                           tick();
                                                         </script>