if x =3 then 5