function clearDefault(object, defaultText, replaceText) {
   if (object.value == defaultText) {
	  object.value = replaceText;    
   }
}

function form_succes(){
	$('header_form').update('De demo is aangevraagd. Wij nemen zo spoedig mogelijk contact met u op');
	// -> HTMLElement
	$('header_form').innerHTM
}