作业层端部脚手板探头长度应取(____)mm。