document.write(' 8043 ');