8086K, actually. I still run one inside one of my PCs!