var howOften = 20 // in seconds to rotate
var current = 0; 
var it = document.getElementById("rotatingimagesplaceholder").getAttribute("data");
var items = it.split(";;");

function rotater() {
	
    srcimage =items[current];
    if (srcimage!='' && srcimage!=null)
    {
    		 	document.getElementById("rotatingtopimage").src=srcimage
    }
    current = (current==items.length-1) ? 0 : current + 1;
    setTimeout("rotater()",howOften*1000);
}

rotater();