ecmascript:

function initialize ()
{
	tracePrint('initialize () complete');
}
function setCurrentTime(value, timeStamp)
{
	tracePrint('setCurrentTime(' + value + ')');
	myDate = new Date(); // value unused, causes BS Contact fatal error
        if (myDate == null)
        {
            Browser.println ('[DvdControllerExample TimeTextScript] setCurrentTime() error: class Date not supported');
            return;
        }
	numHour   = myDate.getHours();
	numMinute = myDate.getMinutes();
	numSecond = myDate.getSeconds();

	date = myDate.getDate();
	monthNumber = myDate.getMonth();
	year = myDate.getYear() + 1900;

	// javascript switch statement is convenient but not consistently supported, so test the old-fashioned way:
        
        if (monthNumber==0)
	{
            monthText ='January';
	}
        else if (monthNumber==1)
	{
            monthText ='February';
	}
        else if (monthNumber==2)
	{
            monthText ='March';
	}
        else if (monthNumber==3)
	{
            monthText ='April';
	}
        else if (monthNumber==4)
	{
            monthText ='May';
	}
        else if (monthNumber==5)
	{
            monthText ='June';
	}
        else if (monthNumber==6)
	{
            monthText ='July';
	}
        else if (monthNumber==7)
	{
            monthText ='August';
	}
        else if (monthNumber==8)
	{
            monthText ='September';
	}
        else if (monthNumber==9)
	{
            monthText ='October';
	}
        else if (monthNumber==10)
	{
            monthText ='November';
	}
        else if (monthNumber==11)
	{
            monthText ='December';
	}
        else
	{
            monthText ='(illegal month index)';
        }

	if (numHour < 10)
		hour ='0' + numHour;
	else
		hour = numHour;

	if (numMinute < 10)
		minute ='0' + numMinute;
	else
		minute = numMinute;

	numSecond = Math.round(numSecond * 1000.0) / 1000.0;
	if (numSecond < 10)
		second ='0' + numSecond;
	else
		second = numSecond;
	text = hour + ':' + minute + ':' + second + ', ' + date + ' ' + monthText + ' ' + year;
	timeText = new MFString(text);
        //deprecated	timeText = new MFString(myDate.toGMTString());

        tracePrint ('timeText=' + timeText.toString());
}
function tracePrint (text)
{
	if (true) Browser.println ('[DvdControllerExample TimeTextScript] ' + text);
}