<?PHP
# answer: http://o...content-available-to-author-only...e.jp/qa/q7056347.html
while ($line = fgets(STDIN
)){ if (preg_match('/\A\d{3}-(?:[A-Z]-)?\d{3}\Z/', $line)){ echo $line;
}
}
?>
PD9QSFAKIyBhbnN3ZXI6IGh0dHA6Ly9vLi4uY29udGVudC1hdmFpbGFibGUtdG8tYXV0aG9yLW9ubHkuLi5lLmpwL3FhL3E3MDU2MzQ3Lmh0bWwKCndoaWxlICgkbGluZSA9IGZnZXRzKFNURElOKSl7CiAgICBpZiAocHJlZ19tYXRjaCgnL1xBXGR7M30tKD86W0EtWl0tKT9cZHszfVxaLycsICRsaW5lKSl7CgllY2hvICRsaW5lOwogICAgfQp9Cj8+