of this file. It should be used in place of this GIF file when not inferior. File:Ir mohajedin.gif → File:Flag of the People's Mujahedin of Iran.svg...
