Случайная картинка

Коллеги!

нужен скрипт который при каждой перезагрузке страницы выводит случайную картинку из заданных

т.е есть картинки (если конкретно - пикса в шапке)

1.jpg
2.jpg
3.jpg
....
10.jpg

Нужно чтобы при каждой перезагрузке была случайная.

Понимаю что скрипт скорее всего очень простой, но тупа в ентих самых скриптах аки сибирский валенок.

разобралась, вопрос снимается

<?php
$images = array(
0 => 'image1.gif',
1 => 'image2.gif',
3 => 'hello.gif',
4 => 'monkeys.gif',
5 => 'ninjas.gif',
);
$image = $images[ rand(0,(count($images)-1)) ];
$output = "<img src=\"/mysite/randomimages/".$image."\" alt=\"\" border=\"0\" />";
print($output);
?>

или например так: <img src="randomimages/<?php echo rand(1,10); ?>.jpg">

Спасибо!