document.write('32100\n');