function make_underline() {
		var id=arguments[0]
		var idString = new String(id)
		var x=document.getElementById(idString)
		x.style.textDecoration = "underline"
	}

	function remove_underline() {
		var id=arguments[0]
		var idString = new String(id)
		var x=document.getElementById(idString)
		x.style.textDecoration = "none"
	}

	function expand_or_shrink() {
		var id1=arguments[0]
		var id2=arguments[1]
		var section = new String(id1)
		var imageButton = new String(id2)

		var x=document.getElementById(section)
		if(x.style.display == "none")

		   x.style.display = "block"
		else
		   x.style.display = "none"

		var y=document.getElementById(imageButton)
		if(y.src.indexOf("expand.jpg") > 0)
		   y.src="./Images/shrink.jpg"
		else
		   y.src="./Images/expand.jpg"
	}