document.write (" 9639 ");