document.write (" 10888 ");