document.write (" 3998 ");