edt13 top-level constant

int const edt13

Implementation

const int edt13 = 1164;