HTML input Tag: a Code Example on How to Define Patterns