t , , , , Ostind.