document.write (" 9895 ");