function start() { document.write('

') document.write("Dumpfs Schlauberger V. 0.16" + "

") }