document.write (" 6947 ");