En(x)=1extdttn