document.write (" 3896 ");