document.write (" 3920 ");