<!--

function open_window(url,win_name,options) {
mywin = window.open(url,win_name,options);
}

// End of JavaScript -->