document.writeln (

'      <table class="page"><tr><td class="sidetop">' +
'         <div class="sidenav">' +
'            <ul class="sidenav">' +
'            <li id="pzdone"><a href="pzdone.html">What has been done</a></li>' +
'            <li id="pzisbg"><a href="pzisbg.html">What is being done</a></li>' +
'            <li id="pztodo"><a href="pztodo.html">What is still to do </a></li>' +
'            <li id="pzsum"><a href="pzsum.html">Summary </a></li>' +
'            <li id="pzud"><a href="pzud.html">Research Updates </a></li>' +
'            </ul>' +
'         </div>' +
'      </td><td class="page">' +
'         <div class="text">');

if ( seclevel != "" )
{ document.getElementById(seclevel).className += " sidecur"; }

writelinks();