[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"story-settings":3,"story:2018-7-10-mike-bell-named-pitt-baseball-head-coach-undefined":4},null,"29950:\u002Fnews\u002F2018\u002F7\u002F10\u002Fmike-bell-named-pitt-baseball-head-coach"]