This is what I use for my jukebox on Era iPhone.
PHP Code:
temp.songLengthInSeconds = int(musiclen/1000);
temp.songPositionInSeconds = int(musicpos/1000);
if (int(temp.songPositionInSeconds/60) == -1) {
temp.musicPosition = "00:00";
temp.musicLength = "??:??";
}
else {
temp.musicPosition = (int(temp.songPositionInSeconds/60) >= 10 ? int(temp.songPositionInSeconds/60) : "0" @ int(temp.songPositionInSeconds/60)) @ ":" @ (temp.songPositionInSeconds%60 >= 10 ? temp.songPositionInSeconds%60 : "0" @ temp.songPositionInSeconds%60);
temp.musicLength = (int(temp.songLengthInSeconds/60) >= 10 ? int(temp.songLengthInSeconds/60) : "0" @ int(temp.songLengthInSeconds/60)) @ ":" @ (temp.songLengthInSeconds%60 >= 10 ? temp.songLengthInSeconds%60 : "0" @ temp.songLengthInSeconds%60);
}
this.chat = temp.musicPosition SPC "/" SPC temp.musicLength;