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

//  var  used in older files, function used in some files

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


//  update

  var  xupdate="2012";


/////////////////////////////////////////////////////////
//  iy is number of topics, may be 0

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


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