/*These variables set the release_number for a book and the default rev number on each .html page. Initial Value of rev is a blank. If a page is revised, the rev variable should be hard-coded in the Release statement in the .html file.*/

var release_number="16.1";
var page_rev=" ";

/*This script writes the title and quick links on the top of each page*/

function display_title()

{

   var filename = window.location.href;
   var book_title = 'V+ Language Reference Guide';


/* Get the filename */

   filename = filename.substr(filename.lastIndexOf("/") + 1);

   document.write('<div ID=TitleDiv STYLE="position: absolute; top: 5; left: 275;                                            height:100;width:300">');
   document.write('<p class="BookTitle" id="Book_Title">');
   document.write(book_title);
   document.write('</p>');
   document.write('<p class="BookLinks" id="Book_Links">'); 

/* Check to make sure the page is not the document map before writing the  
   Document Map link. If it is the document map, the Document Map link is not written. 
*/

   if (filename != "document_map.html") { 
      document.write('<a href="document_map.html">Document Map</a>');
}
   document.write('&nbsp;&nbsp;&nbsp;&nbsp;<a target="_blank"                                                               href="../../adept_title_index.htm">Adept Document Library</a>'); 
   document.write('</p>');
   document.write('</div>');
}