padString = (n: if n < 10 then "0" + toString n else toString n)