//toplinks.js

document.write('<a href="/" class="side">ICAS HOME</a>&nbsp;&nbsp;&nbsp;&nbsp;<a id="about_link" href="about.html" class="side">ABOUT US</a>&nbsp;&nbsp;&nbsp;&nbsp;<a id="map_link" href="location.html" class="side">LOCATION MAP</a>&nbsp;&nbsp;&nbsp;&nbsp;<a id="rental_link" href="rental.shtml" class="side">FACILITY RENTAL</a>&nbsp;&nbsp;&nbsp;&nbsp;<a href="http://arts.imperialcentre.org" class="side">ARTS CENTER</a>&nbsp;&nbsp;&nbsp;&nbsp;<a href="http://museum.imperialcentre.org" class="side">CHILDREN\'S MUSEUM</a>&nbsp;&nbsp;&nbsp;&nbsp;<a href="http://arts.imperialcentre.org/performingarts.html" class="side">THEATRE</a>');