How much is diez mil pesos from 1984 worth?