function pics(img,ref)
{
document.images[img].src = ref;
}
function openwin(img,w,h,title)
{
var hWnd;
if(hWnd!=null) hWnd.close();
hWnd=window.open(img,"","toolbar=no,location=no,directories=no,resizable=no,left=100,top=100,width="+w+",height="+h);
hWnd.document.open();
hWnd.document.write(""+title+"");
hWnd.document.write("![](\""+img+"\")
");
hWnd.document.write("");
hWnd.document.close();
}
function setColor(element_id, cc)
{
document.getElementById( element_id ).style.backgroundColor = cc;
}