document.write('32046\n');