//document.write("");
var codetext="4897";
//http://www.ectrip.com 2006-06-06
var code=document.getElementById("code");
code.innerText=codetext;
var in_random=document.getElementById("in_random");
in_random.value=codetext;