function switch_dir(){
	var dir = document.getElementById("electronics-directory");
	if(dir.className == "electronics-directory"){
		dir.className = "";
	} else {
		dir.className = "electronics-directory";
	}
}