>>233
わざわざありがとうございます

ただ、『既存ページの<script type="text/javascript">〜</script>内で宣言された変数を
Greasemonkey上で呼び出したい』という目的だったので、ページの先頭に埋め込んでとなると

document.getElementsByTagName("head")[0].innerHTML="○○△△××…"

みたいな形でこれまたGreasemonkeyで埋め込む作業が必要そうですね・・・



とりあえず、セキュリティ上の問題でhtmlソース内で宣言された変数を読み込むのは
かなり難しいっぽいっていうのがわかりました