草坪机使用的汽油一般是（）汽油。