//-string.js-------------------------------------------------------
function m_change(target, text){
	var s = new String (this);
	while (s.indexOf (target) != -1){
		s = s.replace (target, text);
	}
	return s;
}
String.prototype.change = m_change;
function strEncode(text){
	var result = String (text);
	result.change ("<", "&lt;");
	result.change (">", "&gt;");
	result.change ("'", "&@;");
	return (result);
}
function strDecode(text){
	var result = String (text);
	result.change ("&lt;", "<");
	result.change ("&gt;", ">");
	result.change ("&@;", "'");
	return (result);
}