document.write('1004\n');