document.write (" 5946 ");