RAGTIMER

Definition of RAGTIMER