document.write('13942 ');