function menu_hl(elemID, mark){
	if (mark == 1) {
		document.getElementById(elemID).style.textDecoration = 'underline';
	}
	else {
		document.getElementById(elemID).style.textDecoration = 'none';
	}
}