function donothing() {
    var booking = document.getElementById('booking');
    var str = ''+booking.style.visibility+'';
    if( str == 'visible' ) {
        booking.style.visibility='hidden';
    }
    else if( (str=='hidden') || (str=='') ) {
        booking.style.visibility='visible';
    }
 }