document.write (" 7952 ");