No matches were found for subject:"awk question\: replacing %d%s by %d %s"