include javascript for mail address decoding