document.write("<ul><li><a href='diary.html'>Diary</a></li><li><a href='ethos.html'>Ethos</a></li><li><a href='about.html'>About the School</a></li><li><a href='stuff.html'>Useful Activities</a></li><li><a href='newsletter/newsletter.pdf' rel='external'>Newsletter</a><li><a href='docs/schoolcouncil2.pdf' rel='external'>School Council<br />Magazine</a></li></li><li><a href='gallery.html'>Gallery</a></li><li><a href='reports.html'>Reports</a></li><li><a href='explore/explore.html'>Explore!</a></li><li><a href='pfa.html'>PFA</a></li></ul>");