document.write('11940\n');