¿De cuánto fue la inflación de junio?