document.write (" 12217 ");