function tableTimeTmax input Integer tableID; output Real Tmax "maximum time value in table"; end tableTimeTmax;