// Copyright (C) 2001  SJS Solutions Ltd
//
// Depends on: make_ordinal()
//
// month_name - takes a month number as argument and returs the
//              month name (in english)
//
//              e.g. month_name(3) -> "March"
//
// day_name   - takes a day number as argument and returns the
//              name of the day (in english)
//
//              e.g. day_name(1) -> "Sunday"
//                   day_name(7) -> "Saturday"
//
// format_verbose_time - takes a Date object as argument and returns
//                       a verbose date string
//
//                       e.g. "Friday, 14th September 2001"
//
// format_time         - takes a Date object as argument and returns
//                       a time string in HH:MM:SS format
//
//                       e.g. "13:58:35"

var __months=new Array()
__months[0]='January'
__months[1]='February'
__months[2]='March'
__months[3]='April'
__months[4]='May'
__months[5]='June'
__months[6]='July'
__months[7]='August'
__months[8]='September'
__months[9]='October'
__months[10]='November'
__months[11]='December'

var __days=new Array()
__days[0]='Sunday'
__days[1]='Monday'
__days[2]='Tuesday'
__days[3]='Wednesday'
__days[4]='Thursday'
__days[5]='Friday'
__days[6]='Saturday'

function month_name(n)
{
    return __months[n-1]
}

function day_name(n)
{
    return __days[n-1]
}

function format_verbose_date(d)
{
    return day_name(d.getDay()+1) + ", " + make_ordinal(d.getDate()) + " " +
           month_name(d.getMonth()+1) + " " + d.getFullYear()
}

function format_time(d)
{
    function format(n) {
        if (n < 10) {
            return "0" + n
        } else {
            return n
        }
    }

    return format(d.getHours()) + ":" + format(d.getMinutes());// + ":" + 
//           format(d.getSeconds())
}