document.write (" 3923 ");