131213035: made some small changes
131213036: use PreciseTimer to count the time