jajaj me olvide de ponerle ($sql) ,jajaj, bueno en cuanto a lo de la redirección, cambia lo de
Código PHP:
print "Se encontraron ".mysql_num_rows." alumnos con ese codigo";
y pon esto:
Código PHP:
header("location:pagina_a_la_quieres_que_valla.php");