document.write (" 3848 ");