var argSeparator = "!*ARG~|^";  // separator used in HTML search string that identifies search values for this page -- sent to tipCommentEntry.