Smart Cards; ETSI numbering system for telecommunication application providers (Release 7)