echo str_pad( "1", 4, "0", STR_PAD_LEFT ); echo str_pad( "12", 4, "0", STR_PAD_LEFT );
/^$|^[0-9]{12}$/