public string toLocaleTimeString() { return null; } // Returns the time portion of a Date object as a string, using locale conventions
