document.write ("4947 ");