PHP - Imagen aleatoria

Hola, tengo una web en la cual coloco unas imagenes en el centro tipo banner, cada vez que recargo la página me sale una imagen diferente. Pués bien, ahora lo que quiero es que sin recargar la página las imagenes cambien automaticamente cada ciertos segundos. Supongo que tendré que añadir un javascript, ¿alguien puede aconsejarme o colocarme algunas lineas de código?

Por cierto así muestro mis imagenes...

<td><a href="<?=tep_href_link(FILENAME_SPECIALS, '', 'SSL')?>">

<!-- Creamos la imagen aleatoria para mostrar como baner -->

<img alt="" src="<?=DIR_WS_TEMPLATES . TEMPLATE_NAME?>/
<?php
$total = "4"; // Numero total de imagenes
$extension = ".jpg";// Definimos la extension, puede ser .jpg, gif, bmp, etc.
$start = "1";
$random = mt_rand($start, $total);
$image_name = $random . $extension;

$imagen= 'images/'.$image_name;
echo $imagen;
?>" width="396" />

</a></td>

Gracias.