document.write (" 3892 ");