document.write('12700 ');