document.write(' Checkpoint 0.7.6.dev-r16376-checkpoint20080501, 2008-05-01');