// JavaScript Document
var i = 1;
window.onload = function(){
    setInterval(changeImg,10000);
}

function changeImg(){
    document.getElementById("pic1").src="pic/a" + i + ".gif"
	document.getElementById("pic2").href="pic/imageB00" + i + ".gif"
    i++;
    if(i > 2) i = 1;
}