document.write (" 10140 ");