document.write (" 10743 ");