document.write(' 3812 ');