document.write (" 6951 ");