document.write('3940\n');