/800-555-(?!9999)[0-9]{4}/