6% of Singapore GDP