document.write (" 3932 ");