t , , , Ostind.