document.write (" 10557 ");