Top -p results into file

I want to add my own header to the print out from this command and save to a file:
top -p 1198172,1198173,1198174.1198175,1198176,1198177,1198178 | awk ‘{print $1,”—“,$9,”—“,$10,”—“,$12}’