我正在尝试生成一个包括帖子ID在内的5位数数字。例如：如果帖子ID为25，则数字将为00025。

到目前为止，我的代码如下。这是可行的，但有没有更好的方法来减少代码行？更具活力？

$post_id = get_the_ID();
$postidlength = strlen($post_id);
if($postidlength = 1){
    $zero="0000";
}

elseif($postidlength = 2){
    $zero="000";
}
elseif($postidlength = 3){
    $zero="00";
}
elseif($postidlength = 4){
    $zero="0";
}
else{
    echo "invalid id";
} 


$result = $zero.$post_id;
echo $result;