document.write(' 4082 ');