var oldWhich = false;
function showKeyDiv(which) {
	if (!document.getElementById) {
		return null;
	}
	
	var keyNavi = document.getElementById("key-navi");
	
	var activeDiv = document.getElementById("key-" + which);
	if (oldWhich != false) {
	  var oldDiv = document.getElementById("key-" + oldWhich);
	}
	
	if (oldWhich != which) {
		// Show active <div>
		activeDiv.style.display = 'block';
		keyNavi.getElementsByTagName("li")[parseInt(which)-1].className = 'active';
	
		// Hide old
		if (oldWhich != false) {
			oldDiv.style.display = 'none';
			keyNavi.getElementsByTagName("li")[parseInt(oldWhich)-1].className = '';
		}
		
		oldWhich = which;
	}
}