PHP-Code:
catch (e)
    {
alert("Kann nicht von Serverdatei lesen (bei Namen)"  + e.toString());
    }
} else {
alert(xmlHttp.status);
    }
} 
bei mir so..
ich klammer das mal aus..
dankeschön!