function open_pic(thiselem)
{
pic = window.open('about:blank', 'pic', 'width=20,height=20,resizable=yes');
pic.document.open();
pic.document.write(''+thiselem.href+'
');
pic.document.close();
}
function switch_edited(imgelem, state) {
var imgsrc = imgelem.src;
if(state=="out") {
var found = imgsrc.search(/edit/);
if (found != -1) {
imgelem.src = imgsrc.replace(/edit/, "orig");
}
}else if(state=="over") {
var found = imgsrc.search(/orig/);
if (found != -1) {
imgelem.src = imgsrc.replace(/orig/, "edit");
}
}
}