\n";
$kreise.=" \n";
}
#$pp="$px[1], $py[1] $px[2], $py[2] $px[3], $py[3] $px[4], $py[4] $px[5], $py[5] $px[6], $py[6]";
#$ps="$sx[1], $sy[1] $sx[2], $sy[2] $sx[3], $sy[3] $sx[4], $sy[4] $sx[5], $sy[5] $sx[6], $sy[6]";
# svg-header senden:
$content="Content-type: image/svg+xml";
header($content);
# xml-Zeile senden, vorsichtshalber mit echo ausgeben, falls
# auf dem server php-short-tags aktiviert sind.
echo " \n";
?>