document.write('0697\n');