... $filename = readline($FN[$k]); ...