document.write('39967\n');