document.write('0869\n');