<!-- open a fixed sized window for showing a full-sized image -->function showImage (htmlPage) {	imageWindow=window.open(htmlPage,'', 'width=630,height=660,scrollbars=no,status=no')}<!-- go back to the previous page -->function goBack () {	history.back()}<!-- open a large window -->function openWindow (url, title) {	var width = screen.width - 40	var height = screen.height - 100	var newWindow = window.open (url, title, "scrollbars,resizable,height=" + height + ",width=" + width)}<!-- redirect an old page to its new equivalent -->function doRedirect(url) {	window.location.replace(url); } doRedirect