/* - zeilenEinlesen.js ----------------------------------------------------------- */

var ttsource = "";
function readDatei(file)
{
	document.fileopener.setFile(window.location.href,file);
	ttsource = document.fileopener.getFile();
	return ttsource;
}

var eingelesen=readDatei("zumScrollen.txt");

/* ----------------------------------------------------------- zeileneinlesen.js - */