PHPで0埋めした数字を作る方法 https://www.blugrit.com/2019/09/10/php-0padding/