PT_1234567 top-level constant

String const PT_1234567

Implementation

const String PT_1234567 = '(1-2-3-4-5-6-7)';