onerror = stopError;	// 	Javascript Fehler unterdruecken
function stopError()
{ return true; }

function switch_language(lang) // sprachumschaltung deutsch - englisch
{
	with ( document.URL )
	{
		// je nach pfad ( slash oder back-slash ) und sprache
		// lokal oder webserver
		if ( indexOf('/') !=-1 ) { sprach_ersatz = '/'+lang+'/'; }
		else if ( indexOf('\\') !=-1 ) { sprach_ersatz = '\\'+lang+'\\'; }
		
		if ( indexOf('/en/') !=-1 ) { datei_pfad = replace(/\/en\//,sprach_ersatz ) ; }
		else if ( indexOf('\\en\\') !=-1 ) { datei_pfad = replace(/\\en\\/,sprach_ersatz ) ; }
		else if ( indexOf('/de/') !=-1 ) { datei_pfad = replace(/\/de\//,sprach_ersatz ) ; }
		else if ( indexOf('\\de\\') !=-1 ) { datei_pfad = replace(/\\de\\/,sprach_ersatz ) ; }
		else if ( indexOf('/pl/') !=-1 ) { datei_pfad = replace(/\/pl\//,sprach_ersatz ) ; }
		else if ( indexOf('\\pl\\') !=-1 ) { datei_pfad = replace(/\\pl\\/,sprach_ersatz ) ; }
	}
	location.href = datei_pfad; // entsprechende anders-sprachige seite aufrufen
}