#! /usr/local/bin/awk -f { gsub("\\$", "$$") print $1 ":" $0 gsub("S", "$") print $1 ":" $0 }