encode($x)