document.write (" 12216 ");