function laden()
{
	if(document.getElementById('blinkoben'))
	{
		setTimeout("einblenden()", 1000);
	}
}

function einblenden()
{
	el = document.getElementById('blinkoben');
	el.style.top = '10px';
}

function doMail(m)
{
	e = str_replace(' at ', '@', m);
	e = str_replace(' dot ', '.', e);
	
	document.location.href='mailto:'+e;
}

function str_replace(search, replace, subject) {
	return subject.split(search).join(replace);
}