Genera un array con el nombre de cada uno de los 8 videos, haces un random *8 y al final cargas el resultado así
Código ActionScript:
Ver originalvar varArrayVideos:Array=new Array("nombre_video1","nombre_video2","nombre_video3","nombre_video4","nombre_video5","nombre_video6","nombre_video7","nombre_video8");
var varRan:Number=random(8);
player.url = "videos/"+varArrayVideos[varRan]+".flv";