>20
万が一、すでに$timeが02とかになっていた場合、002になってしまうからでは？
あまり大きくなく汎用性を気にしないならそれでもいいんじゃない？