<!-- Begin
document.write('<font color="#fafafa" face="verdana" size="2">');
document.write('&nbsp;&nbsp;&nbsp;');
document.write('<a href="../index.html" class="lnk">HOME</a>');
document.write('&nbsp;&nbsp;&nbsp;');
document.write('<a href="../location.htm" class="lnk">LOCATION</a>');
document.write('&nbsp;&nbsp;&nbsp;');
document.write('<a href="../rooms.htm" class="lnk"><font color="#ffbb00" face="verdana" size="2">ROOMS</font></a>');
document.write('&nbsp;&nbsp;&nbsp;');
document.write('<a href="../booking.htm" class="lnk">BOOKING</a>');
document.write('&nbsp;&nbsp;&nbsp;');
document.write('<a href="../transfers.htm" class="lnk">TRANSFERS</a>');
document.write('&nbsp;&nbsp;&nbsp;');
document.write('<a href="../links.htm" class="lnk">LINKS</a>');
document.write('&nbsp;&nbsp;&nbsp;');
document.write('</font>');
// End -->