document.write(' [ Home ]')
document.write(' [ General Info ]')
document.write(' [ History ]')
document.write(' [ Buildings ]')
document.write(' [ Photographs ]')
document.write(' [ Business ]')
document.write(' [ Ceili ]')
document.write('
')
document.write(' [ Updates ]')
document.write(' [ Accommodation ]')
document.write(' [ Sport & Recreation ]')