var GLOBAL_timeout_id = 0;

function ShowHint(Hint) {
	var set_to_visible = "make_visible('" + Hint + "')";
	GLOBAL_timeout_id = setTimeout(set_to_visible, 250);
}

function HideHint(Hint) {
	clearTimeout(GLOBAL_timeout_id);
	document.getElementById(Hint).className="InstaHintHidden";
}

function make_visible(Hint) {
	document.getElementById(Hint).className="InstaHintVisible";
}