document.write (" 3902 ");