Java random number between 1000 and 9999. . ...