document.write('32287\n');