document.write (" 3947 ");