document.write (" 9947 ");