Burroughs International Corporation.