function js_enabled() {
	target = document.getElementById('tech-support-email');
	html = target.getAttribute('href');
	html = html.replace('disabled', 'enabled');
	target.setAttribute('href', html);
}