\def\timestamp{[Last compiled~04/27/08, 22:37:05]}
