document.write (" 3823 ");