¿El 18 de diciembre a qué hora se lanzará la moneda habitual?