document.write (" 3953 ");