document.write('0846\n');