function summary()
	{
		txt = "hallo from js-summary";
		console.log(txt);
	}