var this_directory = window.location.href;
var localarray = this_directory.split("/");
delete localarray[(localarray.length-1)];
var dir_path = localarray.join("/");

var h0=dir_path;
var h1=dir_path+"1.php";
var h2=dir_path+"2.php";
var h3=dir_path+"3.php";
var h4=dir_path+"contact.php title=' ... test it now :-) '"; 
var h5=dir_path+"location.php";

document.write('<table cellpadding=0><tr align=right>');
if((document.location != h0) && (document.location != dir_path+'index.php')){
document.write('<td nowrap><b><a href='+h0+'>Home</a>&nbsp;&nbsp;</td>');}
if(document.location!=h1){
document.write('<td nowrap><b><a href='+h1+'>Headings</a>&nbsp;&nbsp;</td>');}
if(document.location!=h2){
document.write('<td nowrap><b><a href='+h2+'>Presentation</a>&nbsp;&nbsp;</td>');}
if(document.location!=h3){
document.write('<td nowrap><b><a href='+h3+'>References</a>&nbsp;&nbsp;</td>');}
if(document.location!=h4){
document.write('<td nowrap><b><a href='+h4+'>Feedback</a>&nbsp;&nbsp;</td>');} 
if(document.location!=h5){
document.write('<td nowrap><b><a href='+h5+'>Location</a>&nbsp;&nbsp;</td>');}

document.write('<td nowrap><b><a href=links.php>Links</a>&nbsp;&nbsp;</td>');
document.write('<td nowrap><b><a href=mailto:vittorio_ognissanti@hotmail.com>Email</a>&nbsp;&nbsp;</td>');

document.write('</tr></table>');

