A PET file translation program for GE file formats