return p(x.getHours() < 13 ? (x.getHours() == 0 ? 12 : x.getHours()) : (x.getHours() - 12)); 
return p(x.getHours() < 13 ? (x.getHours() === 0 ? 12 : x.getHours()) : (x.getHours() - 12)); 
    $P.toString = function (format) {        var x = this;        var p = function p(s) {            return (s.toString().length == 1) ? "0" + s : s;        };        return format ? format.replace(/dd?d?d?|MM?M?M?|yy?y?y?|hh?|HH?|mm?|ss?|tt?|zz?z?/g,         function (format) {            switch (format) {            case "hh":                return p(x.getHours() < 13 ? (x.getHours() == 0 ? 12 : x.getHours()) : (x.getHours() - 12));            case "h":                return x.getHours() < 13 ? (x.getHours() == 0 ? 12 : x.getHours()) : (x.getHours() - 12);            case "HH":                return p(x.getHours());            case "H":                return x.getHours();            case "mm":                return p(x.getMinutes());            case "m":                return x.getMinutes();            case "ss":                return p(x.getSeconds());            case "s":                return x.getSeconds();            case "yyyy":                return x.getFullYear();            case "yy":                return x.getFullYear().toString().substring(2, 4);            case "dddd":                return $C.dayNames[x.getDay()];            case "ddd":                return $C.abbreviatedDayNames[x.getDay()];            case "dd":                return p(x.getDate());            case "d":                return x.getDate().toString();            case "MMMM":                return $C.monthNames[x.getMonth()];            case "MMM":                return $C.abbreviatedMonthNames[x.getMonth()];            case "MM":                return p((x.getMonth() + 1));            case "M":                return x.getMonth() + 1;            case "t":                return x.getHours() < 12 ? $C.amDesignator.substring(0, 1) : $C.pmDesignator.substring(0, 1);            case "tt":                return x.getHours() < 12 ? $C.amDesignator : $C.pmDesignator;            case "zzz":            case "zz":            case "z":                return "";            }        }        ) : this._toString();    };
2975	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2975/10ba5cd143ba063e809f66f9b6dce69cc917e590/core.js/clean/src/core.js