document.write('0696\n');