某计算机系统页面大小为4K，进程P的页面变换表如下图所示。若进程P要访问逻辑地址25EFH(十六进制)，那么经过地址变换后物理地址应为( )。