document.write('3969\n');