function picswitch(picid,state,lang)
{
	if(state === 0) stateshow = "";
	else stateshow = "_over";
	document.getElementById(picid).src = "images/navigation_"+picid+"_"+lang+stateshow+".png";
}