Zip Code format validation
Note that a zip code variable should be set up as a text variable to accommodate zip codes that start with 0.
Example of validating a zip code entry, where "zip" is the variable code of the zip code. A text file is attached where the code can be copied.