下列程序的执行结果s的值是＿。