function getTime(): number { return new Date().getTime(); }
function getTime(): number { return new Date().getTime(); }