document.write(' Checkpoint 0.8.0-CP-r5823-20071001, 2007-10-01');