Constant PAGER_TELEPHONE_NUMBER 

pub const PAGER_TELEPHONE_NUMBER: ObjectIdentifier;