document.write(' 5943 ');