// 20050804: Ersetzung von "+" durch "+=" wegen Mozilla Startup Problem
// A script on this page is causing mozilla to run slowly.

// function include_file (fn) {
// document.write('<script language="JavaScript" src=' + fn + '><\/script>');
// }


function include_file (fn) {
var s_hlp, s_hlp1, s_hlp2, s_hlp3;
s_hlp = '<script language="JavaScript" src="';
s_hlp += fn;
s_hlp += '"><\/script>';
document.write(s_hlp);
}

// EOF