echo "$p1.p1val" >> $out_file1;