How to get 20khz PWM on pin D9

http://www.arduino.cc/cgi-bin/yabb2/YaBB.pl?num=1235060559/4

Post Edit - the link has gone '404' sometime since.