function showsource(scriptid) {
window.open('showsource.php?id='+scriptid,'','width=700,height=500,scrollbars=yes')
}

function showscript(scriptid) {
window.open('showscript.php?artid='+scriptid,'','width=500,height=300,scrollbars=yes')
}

function showcomp(scriptid) {
window.open('inc/script_comp.php?id='+scriptid,'','width=300,height=600,scrollbars=yes')
}

function nothing() {}