document.write('0990\n');