"; if (isset($a)) { echo "
https://tips4me.org/blog.php?go=$shorturl
"; echo "
Copy Text to Clipboard
"; } ?>