// JavaScript Document

<!-- hide script from old browsers
  document.write("<ul id='footer_nav'>");
	document.write("<li><a href='about.php'>About</a></li>");
	document.write("<li>|</li>");
	document.write("<li><a href='trial_graphics.php'>Trial Graphics</a></li>");
	document.write("<li>|</li>");
	document.write("<li><a href='3D_animation.php'>3D Animation</a></li>");
	document.write("<li>|</li>");
	document.write("<li><a href='references.php'>References</a></li>");
	document.write("<li>|</li>");
	document.write("<li><a href='contact.php'>Contact Us</a></li>");
  document.write("</ul>");
// end hiding script from old browsers -->