; #stored