document.write('0995\n');