// Simple menu script for UKHH
// © Flipside 2007,8

function printmembersmenu(loggedin) {
if (loggedin) {
  document.write("<tr><td><a href=\"cgi-bin/ukhh.cgi?page=membershome\" class=menu>Members Home</a></td></tr>");
  document.write("<tr><td><a href=\"cgi-bin/ukhh.cgi?page=bulletinboard\" class=menu>Bulletin Board</a></td></tr>");
  document.write("<tr><td><a href=\"cgi-bin/ukhh.cgi?page=memberslogout\" class=menu>Members Log-out</a></td></tr>");
  }
else { document.write("<tr><td><a href=\"cgi-bin/ukhh.cgi?page=memberslogin\" class=menu>Members Log-in</a></td></tr>") }
}