document.write(' 40002 ');