$domain

"; } else { echo "

$domain

"; } echo "
"; } ?>