hafwa nu uppgått till 9 1 / 2 millioner escudos.