어떤 변수($var_name)가 몇 자리 수인지 보려면
echo strlen($var_name);
자릿수 맞추기 예제:
if (strlen($record_num) == 1) {
$record_num = "00".$record_num;
} elseif (strlen($record_num) == 2) {
$record_num = "0".$record_num;
} else {
$record_num = $record_num;
}