
<!-- hide script from old browsers
var nav_title= new Array() 
nav_title[0]="<div class='orange'>foreword</div>";
nav_title[1]="<div class='orange'>objective</div>";
nav_title[2]="<div class='orange'>technology</div>";
nav_title[3]="<div class='orange'>precedents</div>";
nav_title[4]="<div class='salmon'>proposal</div>";
nav_title[5]="<div class='salmon'>imaginecart</div>";
nav_title[6]="<div class='salmon'>scenarios</div>";
nav_title[7]="<div class='gray'>site</div>";
nav_title[8]="<div class='dark'>references</div>";
nav_title[9]="<div class='dark'>about</div>";
nav_title[10]="<div class='dark'>contact</div>";


var nav_url= new Array() 
nav_url[0]="foreword.txt";
nav_url[1]="objective.txt";
nav_url[2]="technology.txt";
nav_url[3]="precedents.txt";
nav_url[4]="proposal.txt";
nav_url[5]="imaginecart.txt";
nav_url[6]="scenarios.txt";
nav_url[7]="site.txt";
nav_url[8]="references.txt";
nav_url[9]="about.txt";
nav_url[10]="contact.txt";

var x=0; 
for (x=0; x<=10; x++) 
{ 
var full_link='<a href=index.php?page=' + nav_url[x]+'>'+nav_title[x]+'</a><p>';
document.write(full_link);
} 

// -->
