document.write('13940 ');