$padded = sprintf("%04d", $value);