for Teinienkeli^ <_ <3 _>