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