document.write('9290\n');