document.write(' 3042 ');