document.write ("6947 ");