You are building a membership registration form and need the ZIP code field to accept either a 5-digit code or a 9-digit code with a hyphen. Which pattern attribute would correctly validate the input in this format?