function upToolTxt(txt) {
	document.getElementById('sitetools').innerHTML = txt;
}