1088 /* a timer used to compute total access time */