function version(){ document.write('v.6.09.17'); }