// chooses a random "yawning cat" animation

var catImageFile = "/common/images/cats/cat";
var rndCatNum = Math.floor( Math.random() * 4 );
var catImage = '<img src="' + catImageFile + rndCatNum + '.gif" alt="Image: Cat" width="105" height="122" border="0" /><BR />';
document.write(catImage);