added battle_numbers.user.js