print "before\n";
for(my $i = 5; $i < 10; $i++) {
    print " # $i\n";
    if($i==7) {
        $i = 12;
        redo;
    }
}
print "after\n";