// JavaScript Documentfunction 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();}