if( headerLevel == 0 ) {
   x = ""; }
 else if( headerLevel == 1 ) {
   x = "../"; }
 else if( headerLevel == 2 ) {
   x = "../../"; }
 else if( headerLevel == 3 ) {
   x = "../../../"; }

//
document.writeln(div_a);
document.writeln(table_1);
document.writeln('<ul>');
document.writeln('<li><a href="',x,'observations.php">Observations</a></li>')
document.writeln('</ul>');
document.writeln(table_2);