document.write (" 6957 ");