NumberOfImagesToRotate = 5;

// Specify the first and last part of the image tag. 

FirstPart = '<img src="banners/raymondbanner';
LastPart = '.gif" style="position:absolute; right:10;">';

function printImage() {
var r = Math.ceil(Math.random() * NumberOfImagesToRotate);
document.write(FirstPart + r + LastPart);
}