para hacer eso lo aria utilizando el mysql_data_seek y kedaria asi mas o menos
Código PHP:
<?
while($row=mysql_fetch_array($result))
{
echo '<p>'.$row["Alu_Nombre"].'<br/>'.$row["Alu_Mail"];
}
mysql_data_seek($result,0);
y luego en otra parte de la pag
Código PHP:
while($row=mysql_fetch_array($result))
{
echo '<p>'.$row["Alu_Mail"];
}
?>
espero t sirva para lo ke kieres