a ver primero supongo que el nombre de cada imagen seria asi
ima001.jpg,ima002.jpg,ima003.jpg........ima0013.jp g
si es asi el código en random seria asi
Código PHP:
imagenes_mc.loadMovie("ima00"+random(14)+".jpg");
importante no tienen que haber espacios entre los ++ porque si no lo interpreta asi
ima00 1 .jpg