document.write (" 4880 ");