Add a horizontal separator and new menu command &Random that inserts (or replaces non-empty selection) a number in range 1..99999 (inclusive) padded as %05d. The number is selected.

We need a hotkey for this command too. Which we have available?