/*
 * Pad a number with 0's. Useful for date serials
 * @param num The number to be padded with 0's
 * @param size Required length for returned number
 */
function pad(num, size) {
    var s = "000000000" + num;
    return s.substr(s.length-size);
}