function js_935094779397915()
{
document.write ('Further information about this hotel will be available shortly  ...');
}

function js_588647037172622()
{
document.write ('Further information about this hotel will be available shortly  ...');
}