<!--
/*
Timezone functions
*/
function AdjustMeetingTimes(offset) {
// meeting times start as GMT, with 24-hour clock, in
// decimal.
    var meetings = new Array(
	20, 	// Wednesday
	14 );  	// Sunday

   for (x = 0; x < meetings.length; x++) 
   {
        var basetime = meetings[x] + offset;
	basetime = basetime + 0;  // correct for Eastern
       if (basetime > 24) basetime = (basetime-24);
       if (basetime < 1) basetime = (24 + basetime);
        var hour = parseInt(basetime);
	var minute = (basetime - hour);
	minute = (60 * minute);
	if (minute == 0) minute = "00";
	var localtime;
	if (basetime >= 12) {
	   hour = (hour - 12);
	   if (hour == 0) hour = "12";
	   localtime = hour + ":" + minute + " PM";
	} else {
	   if (hour == 0) hour = "12";
	   localtime = hour + ":" + minute + " AM";
	}
	meetings[x] = localtime;  // reassign array value to new string
    }
// and now loop again, to reset the time fields
    for (i = 0; i < meetings.length; i++) {
    document.timezoneconverter.elements[i].value = meetings[i];
    }
}

function ChooseTimeZone (zone) {
var zonechoice = zone.options[zone.options.selectedIndex].value;
//explicit conversion to number
zonechoice = zonechoice - 0;
AdjustMeetingTimes(zonechoice);
}
//-->