( infSt , # vi keHran)