document.write('0691\n');