document.write('<div id="topbanner2"> <ul id="nav"><li><a href="past_pupils.html">Past Pupils</a></li> <li><a href="allotments.html">Allotments</a></li></ul></div>')