document.write (" 3867 ");