*/ public $value; }