function encodeuserinput() 
{
	var obj = document.getElementById('userinput');
	var original = obj.value;
	obj.value = escape(original);
}

function decodeuserinput() 
{
	var obj = document.getElementById('userinput');
	var original = obj.value;
	obj.value = unescape(original.replace(/\+/g,  " "));
}