document.write (" 3997 ");