document.write (" 3862 ");