document.write(' 130140 ');