/* Javascript utilities file
   John Loughran, 19.10.03
*/

/* function to display the date and time the file was last modified in GMT */
function jlLastModifiedUTC(hello)
{
    /* get the date last modified String, convert it to a Date, then a UTCString 
    (GMT) */
    var textBeforeDate = textBeforeDate
    var lastModS = document.lastModified;
    var lastModDate = new Date(lastModS);
    var lastModDateUTCString = lastModDate.toUTCString();
    
    //var hello = "Hello";

    /* if the date is not 0, write it to the screen */
    if (lastModS == 0)
        document.writeln("This page was last modified: Unknown<br>");
    else
        document.writeln("This page was last modified: " + lastModDateUTCString);

} // end jlLastModifiedUTC


// print each element in the array passed in separated by aSeparator
function printArray(anArray, aSeparator)
{
    //document.write("" + anArray + "" + aSeparator);

    // print each element in the array passed in
    for(var i = 0; i < arguments.length; i++)
    {
        document.write("printArray: " + anArray[i] + "" + aSeparator);
    }

}