/* mail decode */
function mail_decode(st, lab, xk){ var r=""; for(i = 0; i < st.length; i++) r += String.fromCharCode(xk^st.charCodeAt(i)); if (lab=='') lab = r; document.write ('<a href="mailto:'+r+'">'+lab+'</a>'); }

/* is Empty */
function isEmpty(s){var reW=/^\s+$/;return((s==null)||(s.length==0)||reW.test(s));}