12,047 coins