2:37:53
TEX@DET