How much was Jerrold Electronics