// JavaScript Document
// Delete contents of a text box
function del_contents(ele, text){
	if (ele.value == text){
		ele.value = "";
	}
}
// ... then add them back in
function add_contents(ele, text){
	if (ele.value == ""){
		ele.value = text;
	}
}