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