// JavaScript Document

if (typeof(Option)+"" != "undefined") v=true;