function tooltip_logged(what)
{
	document.getElementById('loggedtt').innerHTML = what;
}