document.write (" 9675 ");