document.write(' 3100 ');