// JavaScript Document



function image_swap(image_name) {
    document.images[image_name].src 
      = 'images/nav_' + image_name + '_on.gif';
}

function image_restore(image_name) {
    document.images[image_name].src 
      = 'images/nav_' + image_name +'_off.gif';
}


function open_windowpop(url){
var thiswin;
thiswin = window.open(url,"sample",
	"toolbar=no,LEFT=50,WIDTH=350,HEIGHT=575,status=no,scrollbars=no,resize=no,menubar=no");
thiswin.focus();
}