random function servlet