جبل الأربعين is a restaurant.