document.write (" 14117 ");