document.write('3004\n');