document.write (" 3994 ");