Code Editor : verify1.exp