echo '<input type="text" name="alumno$k" size="2">';
echo "<input type='text' name='alumno$k' size='2'>";