static function dotv($base, $prop) { //echo @"DOTV(base, ".$prop->propName.")<br>"; return jsrt::dot($base, $prop)->getValue(); }