'; echo rand(min: 1, max: 10);