Como conseguir los número aleatorios con una función para PHP.
<?php
$rand = range(1, 13);
?>

Simplemente con el siguiente código consigues escribir o introducir en un array, lo que necesites, un conjunto de números aleatorios que no se van a repetir:

<?php
$rand = range(1, 13);
shuffle($rand);
foreach ($rand as $val) {
echo $val . ‘<br />’;
}
?>