document.write (" 10957 ");