standard_timestamp_mask

<standard_timestamp_mask> ::=
  EUR
| INTERNAL
| ISO
| JIS
| USA