function operazioni(ope, est, tipo) { var contenuto = ""+document.title+"
\"\"

"; contenuto += document.getElementById('livello').innerHTML+"
"; var ident_finestra = window.open("", "finestra_operazioni", "height=600,width=800, toolbar=0, location=0, directories=0, menuBar=1, scrollbars=1, resizable=0, top=1, left=1"); ident_finestra.document.write(contenuto); ident_finestra.document.execCommand(ope, false, "stampa"+est); if(tipo == 0) { ident_finestra.close(); }else { ident_finestra.document.execCommand('Copy', false, 'stampa'+est); setTimeout('ident_finestra.close();', 10000); } }