What does randPix() do?

for($i=0;$i<50;$i++){
            imagesetpixel($img, mt_rand(0, $width), mt_rand(0, $height), randPix($img));
        }