— Ostende deu 25 Juli.