function rotate_img(container_href_node, struct_imgs)
{
    var img_tag;
    var struct_img;
    
    img_tag = container_href_node.firstChild;
    struct_img = struct_imgs.shift();
    struct_imgs.push(struct_img);
    container_href_node['href'] = struct_img['href'];
    img_tag['src'] = struct_img['src'];
    img_tag['alt']= struct_img['alt'];
}

Event.observe(window, 'load', function()
{
	setInterval(function()
	{
		rotate_img(document.getElementById('info_href'), rotating_images);
	}, 5000);
});