洋壳的平均厚度一般为（ ）。