document.write (" 3992 ");