var theStrings = new Array ();
function gpstpw_merge_times () {
theStrings [11] = '2012-Feb-14-09-UTC (Julian Day 045)';
theStrings [10] = '2012-Feb-14-08-UTC (Julian Day 045)';
theStrings [9] = '2012-Feb-14-07-UTC (Julian Day 045)';
theStrings [8] = '2012-Feb-14-06-UTC (Julian Day 045)';
theStrings [7] = '2012-Feb-14-05-UTC (Julian Day 045)';
theStrings [6] = '2012-Feb-14-04-UTC (Julian Day 045)';
theStrings [5] = '2012-Feb-14-03-UTC (Julian Day 045)';
theStrings [4] = '2012-Feb-14-02-UTC (Julian Day 045)';
theStrings [3] = '2012-Feb-14-01-UTC (Julian Day 045)';
theStrings [2] = '2012-Feb-14-00-UTC (Julian Day 045)';
theStrings [1] = '2012-Feb-13-23-UTC (Julian Day 044)';
theStrings [0] = '2012-Feb-13-22-UTC (Julian Day 044)';
}