Estos microchips tenían nombres que terminaban en "87" (8087, 80287, 80387).