Je recommande ordinaire javascript, à l'aide de l'objet Date:
var seconds = 9999;
// multiply by 1000 because Date() requires miliseconds
var date = new Date(seconds * 1000);
var hh = date.getUTCHours();
var mm = date.getUTCMinutes();
var ss = date.getSeconds();
// This line gives you 12-hour (not 24) time
if (hh > 12) {hh = hh - 12;}
// These lines ensure you have two-digits
if (hh < 10) {hh = "0"+hh;}
if (mm < 10) {mm = "0"+mm;}
if (ss < 10) {ss = "0"+ss;}
// This formats your string to HH:MM:SS
var t = hh+":"+mm+":"+ss;
document.write(t);
(Bien sûr, le Date objet créé aura une date réelle associée avec elle, mais que les données qui lui est étranger, donc, pour ces fins, vous n'avez pas à vous inquiéter à ce sujet.)