如图所示，在电磁铁的正上方用弹簧挂一条形磁铁，将开关闭合后，滑片P从b端到a端的滑动过程中，弹簧的长度会变（填“长”或“短”）．