5,235 coins