高速铁路维修天窗原则上不应少于（ ）分钟。