document.write(' 5100 ');