document.write (" 3871 ");