dotty.ksh 2.46 KB