// JavaScript Document
function change(k){
		var i = document.getElementById("ipinfo").getElementsByTagName("li");
		var j = document.getElementById("ipcontent").getElementsByTagName("li");
		for(a=0; a<i.length;a++)
		{
				if(a==k)
				{
						i[a].className="color2"; 
						j[a].style.display="";
						}
				else{
						i[a].className="";
						j[a].style.display="none";
					}
		}
		
	}