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