function js_123813349264144()
{
document.write (' <div class="m-l-title">Hotel Description</div><div class="hdetail"> Info taken from hotel website. The hotel has an outdoor swimming pool which opens the last day of may and closes the first Saturday of September, every year. </div> <div class="hdetail"><span class="title-b">Number of Rooms:</span> 20</div>  ');
}