document.write (" 10938 ");