private void darkenBackground( 
                 Picture pattern, 
                 Picture dest){ 
 
    Pixel[] patternPixels =  
        pattern.getPixels(); 
    Pixel[] destPixels =  
        dest.getPixels(); 
    Color color = null; 
    int red = 0; 
    int green = 0; 
    int blue = 0;