function showDeveloperLink() {
	document.getElementById('developerlink').style.visibility = "visible";
}