if (top != self) top.location.replace(document.location.href);

function urlencode(str) {
	str = escape(str).replace(/\+/g,'%2B').replace(/%20/g, '+').replace(/\*/g, '%2A').replace(/@/g, '%40').replace(/\./g, '+');
	return str;
}