--- a/src/js/utils.js	Fri Dec 30 14:56:46 2011 +0100
+++ b/src/js/utils.js	Fri Dec 30 16:01:09 2011 +0100
@@ -38,6 +38,13 @@
     return num.toString();
   }
 };
+
+/* convert a number of milliseconds to a tuple of the form 
+   [hours, minutes, seconds]
+*/
+IriSP.msToTime = function(ms) {
+  return IriSP.secondsToTime(ms / 1000);
+}
 /* convert a number of seconds to a tuple of the form 
    [hours, minutes, seconds]
 */