rkerSrc", "../../static/pdfjs/build/pdf.worker.mjs");
      });

      {% if user_view_bool %}
      // check every 3 seconds if remote page needs updating
      setInterval(update_remote_page, 3000);

      // function for updating the remote page
      function update_remote_page() {
        if (PDFViewerApplication.pdfViewer.currentPageNumber != page_number) {
          page_number = PDFViewerApplication.pdfViewer.currentPageNumber;
          set_current_page(page_number);
        }
      }
      {% endi