FAR型过程中有指令“RET 4”执行前SP=1000H，则该指令执行完后SP的值为（）。