מזומנים מפעילות תפעולית של Gulf Hotels Group.