Suppose that since some base year, the price index (or GDP deflator) has increased from 100 to 125. During the same time period, NOMINAL GDP has increased from $500 billion to $600 billion. What is the value of REAL GDP at the end of this period -expressed in base-year dollars of value? Real GDP = $_____ billion base-year dollars [Answer with a 3-digit number only, please]