[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"story-settings":3,"story:2007-7-3-north_texas_names_summer_mitchell_diving_coach-undefined":4},null,"11673:\u002Fnews\u002F2007\u002F7\u002F3\u002FNorth_Texas_Names_Summer_Mitchell_Diving_Coach"]