var prefix = '$prefix'; var domain = '$domain'; document.write (''); document.write ($text + ''); "; } else { echo $text; } } ?>