ersätta deras värde dubbelt.