function ShowPageControls()
{
    if ( pages.length <= 1 )
      return;

    document.write ("<div class=paginate>");
    document.write ("Page: ");
    if ( CurrentPage != 1 )
    {
        document.write ("&lt;&lt;<a href=" + pageid + ".html?page=" + String(CurrentPage-1) + ">Previous</a>&nbsp;")
    }
    for (var i = 0; i < pages.length; i++ )
    {
      if ( i != CurrentPage - 1 )
      {
        document.write ("<a href=" + pageid + ".html?page=" + String(i + 1) + ">" + (i+1) + "</a>&nbsp;")
      }
      else
        document.write ( String(i+1) + "&nbsp;" );
    }
    if ( CurrentPage != pages.length )
    {
        document.write ("<a href=" + pageid + ".html?page=" + String(CurrentPage+1) + ">Next</a>&gt;&gt;&nbsp;")
    }
    document.write ("</div>");
}

function ShowPage()
{
  document.write( String(pages[CurrentPage - 1]).replace(/`/gi, "'") );
}