Short tag help

Hi Peeps, just a quickie today, can I run a short tag in my theme files? something like this: <?php do_shorttag(‘[some_cool_shorttag]’) ?>

Im sure I saw it somewhere but can’t for the life of me remember where..

Cheers
Ben