// JavaScript Document
function underLine(theName) {
	nm = document.getElementById(theName);
	nm.style.textDecoration = 'underline';
}

function noUnderLine(theName) {
	nm = document.getElementById(theName);
	nm.style.textDecoration = '';
}