function setMenu(menuID, col) {
	var mm = document.getElementById(menuID).className = 'thisnav'+col+' thisnav';
}