my $width = int( 9*rand() );
    { use integer; $width++; }