document.write('0693\n');