function GetDay(intDay){
    var DayArray = new Array("Sunday", "Monday", "Tuesday", "Wednesday", 
                         "Thursday", "Friday", "Saturday")
    return DayArray[intDay]
    }

function GetMonth(intMonth){
    var MonthArray = new Array("January", "February", "March",
                               "April", "May", "June",
                               "July", "August", "September",
                               "October", "November", "December") 
    return MonthArray[intMonth] 	  	 
    }
function getDateStrWithDOW(){
    var today = new Date()
    var year = today.getYear()
    if(year<1000) year+=1900
    var todayStr = GetDay(today.getDay()) + ", "
    todayStr += GetMonth(today.getMonth()) + " " + today.getDate()
    todayStr += ", " + year
    return todayStr
    }

function getTime(){
  // Copyright 1999, 2000 by Ray Stott
  // OK to use if this copyright is included
  // Script available at http://www.crays.com/jsc

  // idea: get PDT or PST embedded in document by server	
  var TimezoneOffset = -7  // adjust for EST time zone (-8 for PST, -7 for PDT)


  var localTime = new Date()
  var ms = localTime.getTime() 
              + (localTime.getTimezoneOffset() * 60000)
              + TimezoneOffset * 3600000
  var time =  new Date(ms) 

  // Assemble the date
  var year = time.getYear()
  if(year<1000) year+=1900
  var todayStr = GetDay(time.getDay()) + ", "
  todayStr += GetMonth(time.getMonth()) + " " + time.getDate()
  todayStr += ", " + year

  // Assemble the time
  var hour = time.getHours() 
  var minute = time.getMinutes()
  var second = time.getSeconds()
  var curTime = "" + ((hour > 12) ? hour - 12 : hour)
  if(hour==0) curTime = "12"
  curTime += ((minute < 10) ? ":0" : ":") + minute
  //curTime += ((second < 10) ? ":0" : ":") + second
  //curTime += ((second < 10) ? ":0" : ":")
  curTime += (hour >= 12) ? " PM" : " AM"
  curTime += ' PT'

  // return todayStr + ' ' + curTime;
  document.getElementById('theTime').innerHTML = ' &nbsp;&nbsp;' + todayStr + ' ' + curTime;
  
  setTimeout("getTime()", 60000);

}


function getMarkets(holiday){
  var TimezoneOffset = -4  // adjust for EST time zone
  var localTime = new Date()
  var ms = localTime.getTime() 
             + (localTime.getTimezoneOffset() * 60000)
             + TimezoneOffset * 3600000
  var time   =  new Date(ms) 
  var day    = time.getDay()
  var hour   = time.getHours() 
  var minute = time.getMinutes()

  var market
  if(day > 0 && day < 6 && ((hour == 9 && minute >= 30) || hour >= 10 ) && hour < 16 && holiday == 0) {
    market = 'U.S. Markets Open'
    }
  else {
    market = 'U.S. Markets Closed'
    // market = day + ' ' + hour + ' ' + minute + ' ' + holiday;
  }
  return market
}