function picswitch (paths, texts, urls) {
    var img = document.getElementById('foto_src');
    var title = document.getElementById('foto_title');
    var url = document.getElementById('foto_url');
    if (img) {
	var i = 0;
	setInterval(
		function() {
			i++;
			img.setAttribute('src', paths[i%paths.length]);
			title.innerHTML=texts[i%texts.length];
			url.setAttribute('href', urls[i%urls.length]);
		},
	7000);
    }
}