document.write(' $\"Groschopp\"$
');