spec , 139 —1