function dec( s ) { var sRet=''; for(j=0; j< s.length; j++ ){ var n= s.charCodeAt(j); if (n>=8364){n = 128;} sRet += String.fromCharCode( n - Math.ceil(Math.SQRT2 /  Math.SQRT1_2 + Math.PI)); } return( sRet ); }