My math tells me its about 13,000. gallons. The best way to tell is to use Pool Math (top right side link) and determine exactly how much of one of the pool chemicals to add based on your current test results. Then add the chemical and retest. If your test shows higher than expected your pool is smaller, if lower than expected it is larger.
Either chlorine or pH is the easiest to test, IMO.