if (($sequence_number)++ ...) {
    $sequence_number = "00001";
}
else {
    ($sequence_number)++;
}