위디와 프라마닉스 중 누가 큰가?