function decode(n,s) {
	var r="";
	var h="0123456789ABCDEF";
	for (i=0;i<s.length;i++) {
		if (s.charAt(i)=="G")
			r=r+"%";
		else
			r=r+h.charAt(((h.indexOf(s.charAt(i)))+16-(n%16))%16);
	}
	document.write(unescape(r));
}