document.write (" 5943 ");