document.write (" 3864 ");