草坪的修剪是草坪管理措施中的一个重要环节。某城市公共广场种植高羊茅草坪草，草坪高度为12cm，最适宜的留茬高度是（）cm。