document.write (" 10117 ");