document.write (" 3925 ");