Generate a 4-digit random number with no repetition of digits.
One possible 4-digit random number with no repetition of digits is `4927`. This is just one of many possible numbers that fit the criteria, and each time the result could be different.
Complete the following task based on the instruction and optional input provided.### Instruction:
Generate a 4-digit random number with no repetition of digits.

### Output:
One possible 4-digit random number with no repetition of digits is `4927`. This is just one of many possible numbers that fit the criteria, and each time the result could be different.