document.write (" 3922 ");