Defibrillators "Cardiolife TEC-5500K", Models TEC-5521K and TEC-5531K, with software version less than or equal to 1.20, manufactured by NIHON KOHDEN Corporation, Japan