Randomly Display One Image From a 10-Image For Loop

This is more a basic PHP question than a WordPress one!

$settings = get_option( "freshThemeSettings" ); 
$random = rand( 1, 11 );

if ( isset( $settings[ "fresh_banner$random" ] ) )
    echo $settings[ "fresh_banner$random" ]; 

tech