Cargar lineas de un txt aleatoriamente en un texto dinámico

[d_mlaura]

Hola: Necesito de su ayuda para resolver parte de un proyecto y soy principiante en el tema. La cuestion es la siguiente:
Tengo un formulario hecho en flash que permite a los usuarios dejar sus comentarios. Los mismo se guardan en un archivo txt. Los textos guardados en el arcivo .txt luego son cargados en un texto dinámico en otra pelicula flash. Hasta acá está todo funcionando. Pero lo que yo necesito hacer es que las lineas guardadas en el .txt se carguen aleatoriamente en el texto dinámico y no de forma secuencial como sucede hasta ahora. Para lo cual arme en php un contador de líneas, que espero esté bien hecho, segui un tutorial. Pero aun no logro que se carguen las lineas aleatoriamente.
Les paso las lineas de código que tengo hasta ahora para que me puedan indicar qué y cómo resolver este tema.

Carga de .txt en el texto dinámico de flash:

System.useCodepage = true;
var varcarga:LoadVars = new LoadVars();
varcarga.load("post.txt");
varcarga.onLoad = function(success) {
if (success) {
txtdetalle.text = this.vardetalle;
}
}

Contador de líneas en php. El nombre del archivo es total_post.php:

<?php
$archivo = fopen ("post.txt", "r");
$num_lineas = 0;
while (!feof ($archivo)) {
if ($linea = fgets($archivo)){
$num_lineas++;
}
}
fclose ($archivo);
echo " &lineas= " . $num_lineas. "&";
?>

En el archivo post.txt tengo al inicio la siguiente vaiable: vardetalle=


Desde ya muchisimas gracias por su ayuda.!!!