document.write (" 3958 ");