}
function addslashes( str ){ return str.replace(/\'/g, '\\\''); }
-function escapebackslashes( str ){ return str.replace(/\\/g, '\\\\'); }
+function escapebackslashes( str ){ return str.replace(/\\[^']/g, '\\\\'); }
function disable( id ){ document.getElementById( id ).disabled = true; }