document.write(' 8943 ');