function extlink(url)
{
window.open(url);
}

function back()
{
var eintraege=window.history.length;
if (eintraege!=0)
{
history.back();
}
else
{
window.open("http://www.heilen.info/index.html");
}
}