Иван Иванович купил сыну шоколадку за 12,5 рублей, потратив на эту покупку 0,001 полученной премии. Сколько рублей составляет премия Ивана Ивановича?