document.write('0987\n');