in frontend/janus.js [274:278]
pad = function(n, width, char) {
char = char || '0';
n = String(n);
return n.length >= width ? n : new Array(width - n.length + 1).join(char) + n;
};