portugalflag.gif (image)