document.write('0999\n');