
function toolTip(layerID,txt) {
	if(txt=="revert") {
		txt = "&nbsp;";
	} // else {
		//txt = "<span class='tip'>" + txt + "</span>";
	// }
	if(document.getElementById){
		document.getElementById(layerID).innerHTML=txt;
	}else if(document.all){
		document.all[layerID].innerHTML=txt;
	}else if(document.layers){
		with(document.layers[layerID].document){
			open();
			write(txt);
			close();
		}
	}
}

function eDecode(theStr){
	var modified = theStr.replace(/\[at]/gi, "@");
	return modified.replace(/\[dot]/gi, ".");
}

