var d = document;
d.write("");
if(d.all){
function blink_show(){
var _47=d.all.tags("blink");
var _48=_47.length;
for(i=0;i<_48;i++){
_47[i].style.visibility="visible";
}
window.setTimeout("blink_hide()",700);
}
function blink_hide(){
var _49=d.all.tags("blink");
var _4a=_49.length;
for(i=0;i<_4a;i++){
_49[i].style.visibility="hidden";
}
window.setTimeout("blink_show()",250);
}
}
window.setTimeout("blink_show()",250);
var t_lang = new Array();
t_lang['FRA'] = "Réservation immédiate";
t_lang['SPA'] = "Reservar online";
t_lang['ENG'] = "Instant booking";
t_lang['FRA_nojs'] = "Vous devez activer le javascript pour pouvoir réserver.";
t_lang['SPA_nojs'] = "Vous devez activer le javascript pour pouvoir réserver.";
t_lang['ENG_nojs'] = "Vous have to activate javascript for Instant Booking.";
function print_button(lang, width) {
var txt = t_lang[lang];
var txt_width = (width != '') ? ' style="width: ' + width + 'px;"' : '';
if (txt == undefined) document.write('Error(lang)');
else document.write('');
}