function changeImg(str){
	document.images['img01'].src = "images/img01_" + str +".gif" ;
};


num = 0;
function changeImg01(){
	num++;
	num %= 3;
	document.img02.src = "images/img02_0"+num+".gif";
}