/**
 * @param string form
 * @return void
 * 
 * Resets a form's values when form.reset() doesn't work
 */

function resetForm(form) {
	var theForm = document.getElementById(form);

	for(i=0; i<theForm.elements.length; i++){
		if (theForm.elements[i].type =='radio' || theForm.elements[i].type =='checkbox') {
			theForm.elements[i].checked=false;
		}
		theForm.elements[i].value = "";
	}
	
}

/**
 * @param string name
 * @param string domain
 * @return void
 */
function writeEmail( name, domain ) {
	
	document.write('<a href=\"mailto:' + name + '@' + domain + '\">');
	document.write(name + "@" + domain + '</a>');
}