function encode() {
	var obj = document.getElementById('dencoder');
    var unencoded = obj.value;
	obj.value = escape(unencoded);
}

function decode() {
	var obj = document.getElementById('dencoder');
	var encoded = obj.value;
	obj.value = unescape(encoded.replace(/\+/g,  " "));
}