document.write (" 3870 ");