Javascript Date shortTimeString()

Date.prototype.shortTimeString = function(){
    var s= this.getHours().toString().lpad('0',2)+':'+this.getMinutes().toString().lpad('0',2)+':'+this.getSeconds().toString().lpad('0',2);
    return this.shortDateString()+' '+s;
};