How to assign random 4 digit number for selenium port in jenkinsfile

Using Jenkinsfile for Pipeline as code, i want to create a random 4 digit Port number as follows:enter image description here This example i tried prefix of 47 + build number, which doesnt work if build number is single digit or more than 3 digits. But randomInt() hasnt worked in jenkinsfile before.