document.write (" 3980 ");