$US3.6 billion 1988 dollars today