7,439 coins