function setTimerDigitTo(divid, digit, digit_height)
{
    var e = gbi(divid);
    if (e)
        e.style.top = -digit * digit_height; 
}

// Pads string right
String.prototype.padLeft = function(padString, length) {
	var str = this;
    while (str.length < length)
        str = str + padString;
    return str;
}

//pads left
String.prototype.padRight = function(padString, length) {
	var str = this;
    while (str.length < length)
        str = padString + str;
    return str;
}
