function toggle_display(){
	for(var i = 0; i < arguments.length; ++i){
		var node = document.getElementById(arguments[i]);
		if(node){
			node.style.display = node.style.display == "none" ? "" : "none";
		}
	}
}