Consider the overhead traveling crane shown in Fig. 4.21. Assuming the weight of the trolley as 5000 lb and the overall damping ratio as 2%, determine the overall stiffness of the system necessary in order to avoid derailment of the trolley under a vertical earthquake excitation whose design spectrum is given by Fig. 4.19.