document.write (" 3956 ");