What oil is used in a craftsman 6.0 mower?

Most commonly 30W.