function changeTab(tabid) {
	i=0;
	while(1) {
		if(i != tabid) {
			tab = document.getElementById("tab" + i);
			if(!tab) {
				return;	
			}
			tab.style.display = "none";
		} else {
			document.getElementById("tab" + i).style.display = "block";			
		}	
		i++;
	}
}
