document.write (" 3846 ");