document.write(' 130932 ');