document.write (" 10754 ");