// JavaScript Document
if (document.images) {
image1 = new Image
image2 = new Image

image1.src = "/images/leftnav_bluecircle.gif"
image2.src = "/images/leftnav_orangecircle.gif"

}

function open_window(url) {
audio = window.open(url,"popup",'toolbar=0,location=0,directories=0,status=0,menubar=0,scrollbars=0,resizable=0,width=400,height=450');
if (window.focus) {audio.focus();}
}