// JavaScript Document

var MiniName = new Array();
var MiniLink = new Array();

MiniName[0] = 'Books';
MiniName[1] = 'Features';

MiniLink[0] = 'index.html';
MiniLink[1] = 'features.html';


var PageTitle = 'Publications';

if  (PageTitle.length > 0)
    {document.write('<p class="NAPageHeading">' + PageTitle + '</p>');}
Z = new String(window.location.href);
var ThisFileName = Z.substr(Z.lastIndexOf('/')+1,Z.length-Z.lastIndexOf('/')-1);
var COL;
document.write ('<div align="center"><table><tr>');
for  (var k=0; k < MiniName.length; k++)
     {if  (ThisFileName == MiniLink[k]) {COL = ' style="color:#800000;"';} else {COL = '';}
	  document.write ('<td><ul style="list-style:none; margin:0px 0px 0px 0px; padding:0px 0px 0px 0px; border:none;">');
      document.write ('<li class="ZMiniLine"><a href="' + MiniLink[k] + '" class="ZMiniLink"' + COL + '>' + MiniName[k] + '</a></li>');
      document.write ('</ul></td>');}
document.write ('</tr></table></div>');