Given a real gross domestic product of 5 trillion and a GDP price index of 136 for a particular year, what is the nominal gross domestic product?