function p(a) {return document.write(unescape(a.replace(/%6/g, "%")));}