Suppose that the​ long-run aggregate supply curve is positioned at a real GDP level of ​$15 trillion in base year​ dollars, and the​ long-run equilibrium price level​ (in index number​ form) is 108. The corresponding full employment level of nominal GDP must be ​$ nothing trillion dollars?