: 1) { ?> $name) { echo ''.htmlspecialchars($name).''."\n"; } ?> />    />    />