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