 Need help to set four PWM output pin frequencies to 25kHz

I currently can set four pwm pins to around 31kHz with the following code:

void setup()
{
TCCR1B = TCCR1B & B11111000 | B00000001; // Set PWM frequency for D9 & D10 :
pinMode(pwmPin9, OUTPUT); // sets the pin as output
pinMode(pwmPin10, OUTPUT); // sets the pin as output

TCCR2B = TCCR2B & B11111000 | B00000001; // Set PWM for D3 & D11
pinMode(pwmPin3, OUTPUT); // sets the pin as output
pinMode(pwmPin11, OUTPUT); // sets the pin as output
}

I found this setup somewhere but I don't know how I can set these four pwm pins to around 25kHz instead. How is that possible?

frequencies you can get to are equal to the base frequency of the pin divided by a given divisor

Base frequencies:

• The base frequency for pins 3, 9, 10, and 11 is 31250 Hz.
• The base frequency for pins 5 and 6 is 62500 Hz.

Divisors:

• The divisors available on pins 5, 6, 9 and 10 are: 1, 8, 64, 256, and 1024.
• The divisors available on pins 3 and 11 are: 1, 8, 32, 64, 128, 256, and 1024.

So no you can't...

See this section for details and consequences on playing with frequencies