document.write (" 10939 ");