hotel-fidder(p hotel,3683)(c 0)