NumberOfImagesToRotate = 3;
// Specify the first and last part of the image tag.
LogoFirst = '<img src="images/logo-textworkshop-0';
LogoLast = '.gif" alt="TextWorkshop logo" align="left" />';
function printImage() {
var r = Math.ceil(Math.random() * NumberOfImagesToRotate);
document.write(LogoFirst + r + LogoLast);
}