document.write (" 3928 ");