If x 3 4x 12