pub const NID_sect113r1: i32 = 717;