document.write('0699\n');