15.64.18.17 TEK4027
- This is for the Tektronix 4027 color terminal.