document.write('32288\n');