document.write('0695\n');