//Handling of the "default home" functionality
function RemoveDefaultHome() {
	document.default_home.deleteHome.value = 'yes';
	document.default_home.submit();
}