document.write (" 3893 ");