document.write(' 7100 ');