document.write (" 3880 ");