document.write('0843\n');