var isShowKeywords = false;

function showKeywords() {
	var div = document.getElementById('keywords');
	div.style.display = 'block';
	isShowKeywords = true;
}
function hideKeywords() {
	window.setTimeout('__hideKeywords();', 1000);
	isShowKeywords = false;
}

function __hideKeywords() {
	if (isShowKeywords == false) {
		var div = document.getElementById('keywords');
		if (div != null) div.style.display = 'none';
	}
}