document.write('0852\n');