[HECnet] punched tape