document.write (" 9864 ");