Portugal haalt 1,25 miljard euro op