use DOMTimeStamp type