document.write('3140 ');