document.write(' 130007 ');