Well, we have defined model of your device here. So just look at the list and choose manual for GE Timers BoxTimer GE Time Switch (15251, 15252 and 15253).
On the next page you will be able to read or download PDF file.