function tocatch(linkid){	alllinks = document.getElementsByTagName("a");	for(i=0;i<alllinks.length;i++){		alllinks[i].className = "unchecked";	}	thelink = document.getElementById(linkid);	thelink.className = "catched";}