>>1
HI-UX≡HP-UXでないの?