ATtiny45 PWM Frequency Selection

Thanks again dc42,

I can see from the datasheet that I want to set the prescaler bits to 1001 or something equivalent:

Do you know how I correctly write that 1001 row into the prescaler instruction?