// JavaScript Document
	function doline(w){
		document.getElementById(w).style.textDecoration = 'underline';
	}
	function undoline(w){
		document.getElementById(w).style.textDecoration = 'none';
	}
	
	function show(w){
		document.getElementById(w).style.visibility = 'visible';
	}
	function hide(w){
		document.getElementById(w).style.visibility = 'hidden';
	}