Search Results

Try this adaptation to your command in post #1:
awk -v string="12_1234" -v serch="^[0-9]+_+[0-9][0-9][0-9][0-9]$" "BEGIN{ if (string ~ serch) print string }"