var theStrings = new Array ();
function gpstpw_merge_times () {
theStrings [11] = '2009-Nov-23-06-UTC (Julian Day 327)';
theStrings [10] = '2009-Nov-23-00-UTC (Julian Day 327)';
theStrings [9] = '2009-Nov-22-18-UTC (Julian Day 326)';
theStrings [8] = '2009-Nov-22-12-UTC (Julian Day 326)';
theStrings [7] = '2009-Nov-22-06-UTC (Julian Day 326)';
theStrings [6] = '2009-Nov-22-00-UTC (Julian Day 326)';
theStrings [5] = '2009-Nov-21-18-UTC (Julian Day 325)';
theStrings [4] = '2009-Nov-21-12-UTC (Julian Day 325)';
theStrings [3] = '2009-Nov-21-06-UTC (Julian Day 325)';
theStrings [2] = '2009-Nov-21-00-UTC (Julian Day 325)';
theStrings [1] = '2009-Nov-20-18-UTC (Julian Day 324)';
theStrings [0] = '2009-Nov-20-12-UTC (Julian Day 324)';
}