CH Core (R4)
4.0.0-ballot - ballot Switzerland flag

This page is part of the CH Core (R4) (v4.0.0-ballot: STU Ballot 1) based on FHIR R4. This is the current published version in its permanent home (it will always be available at this URL). For a full list of available versions, see the Directory of published versions

Data Type Profile: AHVN13 / NAVS13 Identifier

Official URL: http://fhir.ch/ig/ch-core/StructureDefinition/ch-core-ahvn13-identifier Version: 4.0.0-ballot
Active as of 2023-06-27 Computable Name: AHVN13Identifier

Copyright/Legal: CC0-1.0

Identifier holding a 13 digit social security number. The number shall have exactly 13 digits and shall not contain point characters for separation.

Usage:

Formal Views of Profile Content

Description of Profiles, Differentials, Snapshots and how the different presentations work.

This structure is derived from Identifier

NameFlagsCard.TypeDescription & Constraintsdoco
.. Identifier 0..*IdentifierAn identifier intended for computation
... system 1..1uriThe namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.32
... value C1..1stringThe value that is unique
ahvn13-length: AHVN13 / NAVS13 must be exactly 13 characters long
ahvn13-startswith756: AHVN13 / NAVS13 must start with 756
ahvn13-digit-check: AHVN13 / NAVS13 must pass digit check - https://www.gs1.org/services/how-calculate-check-digit-manually

doco Documentation for this format

Constraints

IdGradePath(s)DetailsRequirements
ahvn13-digit-checkerrorIdentifier.valueAHVN13 / NAVS13 must pass digit check - https://www.gs1.org/services/how-calculate-check-digit-manually
: (((10-(28+(value.substring(3,1).toInteger()*3)+(value.substring(4,1).toInteger()*1)+(value.substring(5,1).toInteger()*3)+(value.substring(6,1).toInteger()*1)+(value.substring(7,1).toInteger()*3)+(value.substring(8,1).toInteger()*1)+(value.substring(9,1).toInteger()*3)+(value.substring(10,1).toInteger()*1)+(value.substring(11,1).toInteger()*3))mod(10))mod(10))=value.substring(12,1).toInteger())
ahvn13-lengtherrorIdentifier.valueAHVN13 / NAVS13 must be exactly 13 characters long
: value.matches('^[0-9]{13}$')
ahvn13-startswith756errorIdentifier.valueAHVN13 / NAVS13 must start with 756
: value.startsWith('756')
NameFlagsCard.TypeDescription & Constraintsdoco
.. Identifier 0..*IdentifierAn identifier intended for computation
... use ?!Σ0..1codeusual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .

... system Σ1..1uriThe namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.32
... value ΣC1..1stringThe value that is unique
ahvn13-length: AHVN13 / NAVS13 must be exactly 13 characters long
ahvn13-startswith756: AHVN13 / NAVS13 must start with 756
ahvn13-digit-check: AHVN13 / NAVS13 must pass digit check - https://www.gs1.org/services/how-calculate-check-digit-manually
Example General: 123456

doco Documentation for this format

Terminology Bindings

PathConformanceValueSet
Identifier.userequiredIdentifierUse

Constraints

IdGradePath(s)DetailsRequirements
ahvn13-digit-checkerrorIdentifier.valueAHVN13 / NAVS13 must pass digit check - https://www.gs1.org/services/how-calculate-check-digit-manually
: (((10-(28+(value.substring(3,1).toInteger()*3)+(value.substring(4,1).toInteger()*1)+(value.substring(5,1).toInteger()*3)+(value.substring(6,1).toInteger()*1)+(value.substring(7,1).toInteger()*3)+(value.substring(8,1).toInteger()*1)+(value.substring(9,1).toInteger()*3)+(value.substring(10,1).toInteger()*1)+(value.substring(11,1).toInteger()*3))mod(10))mod(10))=value.substring(12,1).toInteger())
ahvn13-lengtherrorIdentifier.valueAHVN13 / NAVS13 must be exactly 13 characters long
: value.matches('^[0-9]{13}$')
ahvn13-startswith756errorIdentifier.valueAHVN13 / NAVS13 must start with 756
: value.startsWith('756')
ele-1error**ALL** elementsAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
NameFlagsCard.TypeDescription & Constraintsdoco
.. Identifier 0..*IdentifierAn identifier intended for computation
... id 0..1stringUnique id for inter-element referencing
... extension 0..*ExtensionAdditional content defined by implementations
Slice: Unordered, Open by value:url
... use ?!Σ0..1codeusual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .

... system Σ1..1uriThe namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.32
... value ΣC1..1stringThe value that is unique
ahvn13-length: AHVN13 / NAVS13 must be exactly 13 characters long
ahvn13-startswith756: AHVN13 / NAVS13 must start with 756
ahvn13-digit-check: AHVN13 / NAVS13 must pass digit check - https://www.gs1.org/services/how-calculate-check-digit-manually
Example General: 123456
... period Σ0..1PeriodTime period when id is/was valid for use
... assigner Σ0..1Reference(Organization)Organization that issued id (may be just text)

doco Documentation for this format

Terminology Bindings

PathConformanceValueSet
Identifier.userequiredIdentifierUse
Identifier.typeextensibleIdentifier Type Codes

Constraints

IdGradePath(s)DetailsRequirements
ahvn13-digit-checkerrorIdentifier.valueAHVN13 / NAVS13 must pass digit check - https://www.gs1.org/services/how-calculate-check-digit-manually
: (((10-(28+(value.substring(3,1).toInteger()*3)+(value.substring(4,1).toInteger()*1)+(value.substring(5,1).toInteger()*3)+(value.substring(6,1).toInteger()*1)+(value.substring(7,1).toInteger()*3)+(value.substring(8,1).toInteger()*1)+(value.substring(9,1).toInteger()*3)+(value.substring(10,1).toInteger()*1)+(value.substring(11,1).toInteger()*3))mod(10))mod(10))=value.substring(12,1).toInteger())
ahvn13-lengtherrorIdentifier.valueAHVN13 / NAVS13 must be exactly 13 characters long
: value.matches('^[0-9]{13}$')
ahvn13-startswith756errorIdentifier.valueAHVN13 / NAVS13 must start with 756
: value.startsWith('756')
ele-1error**ALL** elementsAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1error**ALL** extensionsMust have either extensions or value[x], not both
: extension.exists() != value.exists()

This structure is derived from Identifier

Summary

Mandatory: 2 elements
Fixed Value: 1 element

Differential View

This structure is derived from Identifier

NameFlagsCard.TypeDescription & Constraintsdoco
.. Identifier 0..*IdentifierAn identifier intended for computation
... system 1..1uriThe namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.32
... value C1..1stringThe value that is unique
ahvn13-length: AHVN13 / NAVS13 must be exactly 13 characters long
ahvn13-startswith756: AHVN13 / NAVS13 must start with 756
ahvn13-digit-check: AHVN13 / NAVS13 must pass digit check - https://www.gs1.org/services/how-calculate-check-digit-manually

doco Documentation for this format

Constraints

IdGradePath(s)DetailsRequirements
ahvn13-digit-checkerrorIdentifier.valueAHVN13 / NAVS13 must pass digit check - https://www.gs1.org/services/how-calculate-check-digit-manually
: (((10-(28+(value.substring(3,1).toInteger()*3)+(value.substring(4,1).toInteger()*1)+(value.substring(5,1).toInteger()*3)+(value.substring(6,1).toInteger()*1)+(value.substring(7,1).toInteger()*3)+(value.substring(8,1).toInteger()*1)+(value.substring(9,1).toInteger()*3)+(value.substring(10,1).toInteger()*1)+(value.substring(11,1).toInteger()*3))mod(10))mod(10))=value.substring(12,1).toInteger())
ahvn13-lengtherrorIdentifier.valueAHVN13 / NAVS13 must be exactly 13 characters long
: value.matches('^[0-9]{13}$')
ahvn13-startswith756errorIdentifier.valueAHVN13 / NAVS13 must start with 756
: value.startsWith('756')

Key Elements View

NameFlagsCard.TypeDescription & Constraintsdoco
.. Identifier 0..*IdentifierAn identifier intended for computation
... use ?!Σ0..1codeusual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .

... system Σ1..1uriThe namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.32
... value ΣC1..1stringThe value that is unique
ahvn13-length: AHVN13 / NAVS13 must be exactly 13 characters long
ahvn13-startswith756: AHVN13 / NAVS13 must start with 756
ahvn13-digit-check: AHVN13 / NAVS13 must pass digit check - https://www.gs1.org/services/how-calculate-check-digit-manually
Example General: 123456

doco Documentation for this format

Terminology Bindings

PathConformanceValueSet
Identifier.userequiredIdentifierUse

Constraints

IdGradePath(s)DetailsRequirements
ahvn13-digit-checkerrorIdentifier.valueAHVN13 / NAVS13 must pass digit check - https://www.gs1.org/services/how-calculate-check-digit-manually
: (((10-(28+(value.substring(3,1).toInteger()*3)+(value.substring(4,1).toInteger()*1)+(value.substring(5,1).toInteger()*3)+(value.substring(6,1).toInteger()*1)+(value.substring(7,1).toInteger()*3)+(value.substring(8,1).toInteger()*1)+(value.substring(9,1).toInteger()*3)+(value.substring(10,1).toInteger()*1)+(value.substring(11,1).toInteger()*3))mod(10))mod(10))=value.substring(12,1).toInteger())
ahvn13-lengtherrorIdentifier.valueAHVN13 / NAVS13 must be exactly 13 characters long
: value.matches('^[0-9]{13}$')
ahvn13-startswith756errorIdentifier.valueAHVN13 / NAVS13 must start with 756
: value.startsWith('756')
ele-1error**ALL** elementsAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())

Snapshot View

NameFlagsCard.TypeDescription & Constraintsdoco
.. Identifier 0..*IdentifierAn identifier intended for computation
... id 0..1stringUnique id for inter-element referencing
... extension 0..*ExtensionAdditional content defined by implementations
Slice: Unordered, Open by value:url
... use ?!Σ0..1codeusual | official | temp | secondary | old (If known)
Binding: IdentifierUse (required): Identifies the purpose for this identifier, if known .

... system Σ1..1uriThe namespace for the identifier value
Fixed Value: urn:oid:2.16.756.5.32
... value ΣC1..1stringThe value that is unique
ahvn13-length: AHVN13 / NAVS13 must be exactly 13 characters long
ahvn13-startswith756: AHVN13 / NAVS13 must start with 756
ahvn13-digit-check: AHVN13 / NAVS13 must pass digit check - https://www.gs1.org/services/how-calculate-check-digit-manually
Example General: 123456
... period Σ0..1PeriodTime period when id is/was valid for use
... assigner Σ0..1Reference(Organization)Organization that issued id (may be just text)

doco Documentation for this format

Terminology Bindings

PathConformanceValueSet
Identifier.userequiredIdentifierUse
Identifier.typeextensibleIdentifier Type Codes

Constraints

IdGradePath(s)DetailsRequirements
ahvn13-digit-checkerrorIdentifier.valueAHVN13 / NAVS13 must pass digit check - https://www.gs1.org/services/how-calculate-check-digit-manually
: (((10-(28+(value.substring(3,1).toInteger()*3)+(value.substring(4,1).toInteger()*1)+(value.substring(5,1).toInteger()*3)+(value.substring(6,1).toInteger()*1)+(value.substring(7,1).toInteger()*3)+(value.substring(8,1).toInteger()*1)+(value.substring(9,1).toInteger()*3)+(value.substring(10,1).toInteger()*1)+(value.substring(11,1).toInteger()*3))mod(10))mod(10))=value.substring(12,1).toInteger())
ahvn13-lengtherrorIdentifier.valueAHVN13 / NAVS13 must be exactly 13 characters long
: value.matches('^[0-9]{13}$')
ahvn13-startswith756errorIdentifier.valueAHVN13 / NAVS13 must start with 756
: value.startsWith('756')
ele-1error**ALL** elementsAll FHIR elements must have a @value or children
: hasValue() or (children().count() > id.count())
ext-1error**ALL** extensionsMust have either extensions or value[x], not both
: extension.exists() != value.exists()

This structure is derived from Identifier

Summary

Mandatory: 2 elements
Fixed Value: 1 element

 

Other representations of profile: CSV, Excel, Schematron