/* Write the 'control' frame. */
function writePrev() {
  if (ctr == 0) {
    dw_c('<span class="control"><span class="grayed">Prev</span></span>');
  }
  else {
    dw_c('<span class="control"><a href="javascript:top.prevPage()">Prev</a></span>');
  }
}
function writeNext() {
  if (ctr == ctrMax) {
    dw_c('<span class="control"><span class="grayed">Next</span></span>');
  }
  else {
    dw_c('<span class="control"><a href="javascript:top.nextPage()">Next</a></span>');
  }
}
function writeFirst() {
  if (ctr == 0) {
    dw_c('<span class="control"><span class="grayed">First</span></span>');
  }
  else {
    dw_c('<span class="control"><a href="javascript:top.firstPage()">First</a></span>');
  }
}
function writeLast() {
  if (ctr == ctrMax) {
    dw_c('<span class="control"><span class="grayed">Last</span></span>');
  }
  else {
    dw_c('<span class="control"><a href="javascript:top.lastPage()">Last</a></span>');
  }
}
function counter() {
  ct = ctr + 1
  ctMax = ctrMax + 1
  dw_c('<div class="control" align=center><div id="counter"><strong>' + ct + ' of ' + ctMax + '<strong></div></div>')
}
/* This is the function that writes the frame. */
function gen_control() {
  control.document.open();
  dw_c('<head>');
  dw_c('<link rel="stylesheet" href="control.css" type="text/css">');
  dw_c('</head>');
  dw_c('<body>');
  dw_c('<table border=0 width="100%" style="margin-top:0.5em;">');
  dw_c('<tr>');
  /* Indicating alignment using a style attribute does not work in Netscape 4.7. Also, each cell needs its own alignment, so I
  might as well keep it local. */
  dw_c('<td colspan=2 align="center">');
  var home = "index.html"
  dw_c('<a href=' + home + ' class="control" target=_top>Home</a>');
  dw_c('</td>');
  dw_c('</tr>');
  dw_c('<tr>');
  dw_c('<td align="left" height=0>');
  writePrev();
  dw_c('</td>');
  dw_c('<td align="right" height=0>');
  writeNext();
  dw_c('</td>');
  dw_c('<tr>');
  dw_c('<td align="left">');
  writeFirst();
  dw_c('</td>');
  dw_c('<td align="right">');
  writeLast();
  dw_c('</td>');
  dw_c('</tr>');
/*
  dw_c('<tr>');
  dw_c('<td colspan=2 align="center" style="padding-top:0.4em">');
  dw_c('<span class="popup" align=center><a href="javascript:top.download()" title="Download screen saver">Download screen saver</a></span>');
  dw_c('</td>');
  dw_c('</tr>');
*/
  dw_c('<tr>');
  dw_c('<td colspan=2 align="center" style="padding-top:0.4em">');
  dw_c('<span class="popup" align=center><a href="javascript:top.buy()" title="Buy a print">Buy a print</a></span>');
  dw_c('</td>');
  dw_c('</tr>');

  dw_c('<tr>');
  dw_c('<td colspan=2 align="center" style="padding-top:0.4em">');
  dw_c('<span class="popup" align=center><a href="javascript:top.con()" title="Contact">Contact</a></span>');
  dw_c('</td>');
  dw_c('</tr>');

  dw_c('</table>');
  counter();
  dw_c('</body>');
  control.document.close();
}
