document.write ("5943 ");