regaarding changing the freq of the pwm pulse at 9 pin

i want to know how to set the pwm freq to 10kHz at pin 9....plz provide a code for arduino uno

For PWM, look at http://playground.arduino.cc/Code/Timer1
You also set the duty cycle. If in doubt, use 511 for 50%