//Problem: index hinzufügen, wenn nur URL vorhanden! Ist die Seite englisch oder deutsch?
var pos;  

if (document.URL.search(/\.html/) == -1) {		//URL enthält keinen Dateiname
	filename = document.URL + "index.html";		//es wird davon ausgegangen, dass es eine deutsche Seite ist!
}
else {
	filename = document.URL;
}

if (document.URL.search(/_en\./) == -1) {		//momentan auf deutscher Seite
	filename = filename.replace(/\.html/, "_en.html");
}
else {		//momentan auf englischer Seite
	filename = filename.replace(/_en\.html/, ".html");
}

pos = filename.indexOf("at/") + 3;
filename = filename.substring(pos, filename.length+1);

document.writeln("<script src='/files.php?filename="+filename+"' type='text/javascript'></script>");