document.write (" 5945 ");