12,612,562 coins