document.write('Reihenlochstanzer')