function cdc($codice) { document.write(""); }