Hoy por hoy, hay 199.999.574 TKSs en circulación.