/////////////////////////////////////////////////////////


//  update

  var xupdate="April 2010";


/////////////////////////////////////////////////////////

function xnav(iy, topics)
{ var ix = 0, itx = ' ';
  if (iy > 0)
  { document.open();
    document.write('<form name="navi" method="get"><div class="ibox">');
    document.write('<select name="topic" size="1" onchange="window.location.href = topic.value;">');
    document.write('<option value="#">... &raquo;go to&laquo; ...</option>');
    document.write('<option value="#x0">... nach oben ...</option>');
    for (ix = 1; ix <= iy; ix++)
      { itx = '<option value="#x'+ix+'">'+topics[ix-1]+'</option>'; document.write(itx); }
    document.write('</select></div></form>');
    document.close();
  }  // end if
}  // xnav


/////////////////////////////////////////////////////////