}else{ 
        //Apply a red tint to the  
        // corresponding pixel in 
        // the destination. 
        color =  
            destPixels[cnt].getColor(); 
        red = color.getRed(); 
        if(red*1.25 < 255){ 
          red = (int)(red * 1.25); 
        }else{ 
          red = 255; 
        }//end else 
        green =  
            (int)(color.getGreen() * 0.8); 
        blue = (int)(color.getBlue() * 0.8); 
        destPixels[cnt].setColor( 
                 new Color(red,green,blue)); 
      }//end else 
    }//end for loop 
     
  }//end darkenBackground