description: Identifier holding a 13 digit social security number. The number shall have exactly 13 digits and shall not contain point characters for separation.
package_name: ch.fhir.ig.ch-core
derivation: constraint
name: AHVN13Identifier
type: Identifier
elements:
  system:
    pattern: {type: Uri, value: 'urn:oid:2.16.756.5.32'}
    index: 0
  value:
    constraint:
      ahvn13-length: {human: AHVN13 / NAVS13 must be exactly 13 characters long, source: 'http://fhir.ch/ig/ch-core/StructureDefinition/ch-core-ahvn13-identifier', severity: warning, expression: 'matches(''^[0-9]{13}$'')'}
      ahvn13-startswith756: {human: AHVN13 / NAVS13 must start with 756, source: 'http://fhir.ch/ig/ch-core/StructureDefinition/ch-core-ahvn13-identifier', severity: warning, expression: startsWith('756')}
      ahvn13-digit-check: {human: 'AHVN13 / NAVS13 must pass digit check - https://www.gs1.org/services/how-calculate-check-digit-manually', source: 'http://fhir.ch/ig/ch-core/StructureDefinition/ch-core-ahvn13-identifier', severity: warning, expression: '(((10-(28+(substring(3,1).toInteger()*3)+(substring(4,1).toInteger()*1)+(substring(5,1).toInteger()*3)+(substring(6,1).toInteger()*1)+(substring(7,1).toInteger()*3)+(substring(8,1).toInteger()*1)+(substring(9,1).toInteger()*3)+(substring(10,1).toInteger()*1)+(substring(11,1).toInteger()*3))mod(10))mod(10))=substring(12,1).toInteger())'}
    index: 1
package_version: 4.0.0
class: complex-type
kind: complex-type
url: http://fhir.ch/ig/ch-core/StructureDefinition/ch-core-ahvn13-identifier
base: http://hl7.org/fhir/StructureDefinition/Identifier
version: 4.0.0
required: [value, system]