"; $random_index = random_int(0, 2); $images = [ "earth1.webp", "earth2.jfif", "earth3.jpg", ]; // var_dump($images); $random_image = $images[$random_index]; ?>