Depende, si es un rotador fijo, es facil:
Código PHP:
<?
$numbanners = 7; //numero de banners que se rotarán
$random = rand(1,$numbanners);
$codigo = array();
$codigo[1]="// Código HTML Banner 1";
$codigo[2]="// Código HTML Banner 2";
$codigo[3]="// Código HTML Banner 3";
$codigo[4]="// Código HTML Banner 4";
$codigo[5]="// Código HTML Banner 5";
$codigo[6]="// Código HTML Banner 6";
$codigo[7]="// Código HTML Banner 7";
$codigo[$random]; // Esta es la variable que tienes que usar para anexarlo en el $mensaje... ;
?>