var version = '2.1.7';
function getVersion() {return 'Revision ' + version;}