function trim(s) { if (s == null || s == "") return ""; return s.replace(/^\s+|\s+$/, ''); };

function xmlP(n, v) {
   return "<property name=\"" + n + "\" value=\"" + v + "\" />";
}
function restrictBack(){
	window.history.forward(1);
}