function Ausgabe() {
	document.write("38155");
}