document.write(' 4043 ');