"; echo "document.write('".$the_text."');"; ?>