执行语句a=Server.HTMLEncode（Server.HTMLEncode（""））后，变量a的值是（）。