Firefox3.5.4 でこのコードを実行すると、「NG」が alert表示されます。 「OK」が表示されるか、せめてエラーになって欲しいと思うのですが、こういう規格なんでしょうか？

var宣言はそういう仕様です。
ブロックスコープを使いたい場合は、JavaScript 1.7から導入されたletを使う必要があります。
http://nanto.asablo.jp/blog/2006/07/08/437419
こちらの記事ではletを使わずにwithでそれっぽく書く方法も紹介されてます。

そうだったんですか。 ありがとうございます。

ブロックスコープって言うんですね、これ。 無いと、使い捨て変数の名前決めに思考を奪われちゃうんですよね。

let と with は知らなかったので、勉強します。

# 本当は、新たに文法を覚えなくても良い方法がうれしかったのですが。