function deobfuscate(a) {
	location.assign(a.replace(/\.?(nospam|VERWIJDERDIT|REMOVETHIS)\.?/g, ''));
	return false;
}