// JavaScript Document
document.writeln('<span style ="font-size:12pt; font-family:"veranda", serif"> <a href="../index.html">Home</a>' ,'<a> <a/>','<a href="../Introduction.htm"> Introduction</a>' ,'<a> <a/>','<a href="../Development.htm"> Development</a>' ,'<a> <a/>','<a href="../ScreenShots.htm"> Screen Shots</a>','<a> <a/>','<a href="../CellularAutomata.htm"> Cellular Automata</a>','<a> <a/>','<a href="../Links.htm"> Links</a>','<a> <a/>', '<a href="../John_ward_CV.htm"> CV</a> ','<a> <a/>', '<a href="../logout.php"> Logout</a> ','<a> <a/>', '<a href="/members/index.php"> Login </a> </span>')