<!--
function changeAlternatingImg(newImage) {
	document.alternatingImg.src = srcString + "images/catalogue_images/trailers/" + newImage;
}

function resetAlternatingImg() {
	document.alternatingImg.src = srcString + "images/catalogue_images/default_rollout.gif";
}
// -->