print $FILE4 "".<$FILE1>;