document.write (" 3955 ");