document.write (" 10388 ");