function get_random()
{

// im body: <script language="JavaScript">show_image();</script>
// Make sure that random()*X) has the correct
// number. The number of images defined below.
var ranNum= Math.floor(Math.random()*12);
return ranNum;
}
var whichImg=get_random();

function show_image() {

// Add your images here.
// Make sure that Array(X) has the number
// of images that you want to include
var img=new Array(13)
img[0]="../img/banner/banner_dt1.gif";
img[1]="../img/banner/banner_dt2.gif";
img[2]="../img/banner/banner_dt3.gif";
img[3]="../img/banner/banner_m44.gif";
img[4]="../img/banner/banner_senji.gif";
img[5]="../img/banner/banner_suc_merlin.gif";
img[6]="../img/banner/banner_neumond.jpg";
img[7]="../img/banner/banner_woelfe.jpg";
img[8]="../img/banner/banner_tu.gif";
img[9]="../img/banner/banner_jamaica.jpg";
img[10]="../img/banner/banner_zuz_karten.jpg";
img[11]="../img/banner/banner_smallworld.jpg";
img[12]="../img/banner/banner_yourobot.gif";
img[13]="../img/banner/banner_whatsmissing.jpg";


 // Here the actual displaying of the image is taking place.
document.write("<img src='");
document.write(img[whichImg]);
document.write("' border='0' class='nostyle' />");
}