下列代码的执行结果为： document.write(num + “”); var num = 123; document.write(num);