document.write('0833\n');