Hoy por hoy, hay 553.268.062,02 HBOTs en circulación.