document.write("<center>")
document.write("<A HREF=\"generaldetails.html\">General Details</A> | ")
document.write("<A HREF=\"accommodationDetails.html\">Accommodation Details</A> | ")
document.write("<A HREF=\"gettingThere.html\">Getting There</A> | ")
document.write("<A HREF=\"thingstodo.html\">Things To Do</A> | ")
document.write("<A HREF=\"placestosee.html\">Places To See</A> | ")
document.write("<A HREF=\"booking.html\">Booking</A> | ")
document.write("<A HREF=\"calendar.html\">Availability</A> | ")
document.write("<A HREF=\"location.html\">Location</A> | ")
document.write("<A HREF=\"weather.html\">Climate</A> | ")
document.write("<A HREF=\"carHire.html\">Transport</A> | ")
document.write("<A HREF=\"photoGallery.html\">Photo Gallery</A> | ")
document.write("<A HREF=\"whatson.html\">What's On</A> ") 
<!-- document.write("<A HREF=\"links.html\">Links</A> | ") -->
<!-- document.write("<A HREF=\"misc.html\">Miscellaneous</A> ") -->
document.write("<br><br>")
document.write("&copy; MMIX")
document.write("<\center>")