document.write('3946\n');