// JavaScript Document
function $$(objid){
	return document.getElementById(objid);
}

function search_item(obj){
	//alert(obj.id.length);
	var objnum = obj.id.substring(3, obj.id.length);
	//alert(objnum)
	for(var i = 1; i <= 5; i ++){
		if(objnum == i){
			$$("nav" + i).className = "hover";
			$$("s" + i).style.display = "";
		}else{
			$$("nav" + i).className = "a1";
			$$("s" + i).style.display = "none";
		}
	}
}