www/cgi-bin/script.js

8         buttonElements=document.getElementsByTagName('button');

14                 if((buttonElements[i].name!=document.forms[0].buttonHit.value))

18 //                    buttonElements[i].value=document.forms[0].buttonValue.value;

26         button=document.getElementsByName('buttonValue');

28         button=document.getElementsByName('buttonHit');

38         button=document.getElementsByName('buttonHit');

41         button=document.getElementsByName('buttonValue');

60   	document.body.style.cursor='pointer';

65   	document.body.style.cursor='default';

74 alert('before '+iframe.height+" document "+iframe.Document.body.offsetHeight);

79 alert('before '+iframe.style.height+" document "+iframe.Document.body.scrollHeight);

92      var elem = document.getElementsByTagName(tag);

503     var width = document.documentElement.clientWidth > 620 ? document.documentElement.clientWidth : 620;

504     var height = document.documentElement.clientHeight > min_height ? document.documentElement.clientHeight : min_height;

541     if(document.getElementById("topframe")) {

591     if(document.getElementById('helpframe')) {

593             document.getElementById('helpframe').contentWindow.change_size_helpPage(width);

717 	var footer_div = top.document.getElementById("footer");

720 	var width = document.body.clientWidth;

740 	var go_btn = top.document.getElementById("search_button");

750 	var width = document.getElementById("support").clientWidth + document.getElementById("search").clientWidth;

751 	var screen_width = document.body.clientWidth;

768     var page_contain_width = document.body.clientWidth-220 > 735 ? document.body.clientWidth-220 : 735;

769     var page_contain_height = document.documentElement.clientHeight-160 > 510+adjustPageHeight ? document.documentElement.clientHeight-160 : 510+adjustPageHeight;

770 	var footer_div = document.getElementById("footer");

808 	var footer_div = document.getElementById("footer");

812         $('.container_center').css("width", document.body.clientWidth-40 > 925 ? document.body.clientWidth-40 : 925);

814 			$('.container_center').css("top", document.body.scrollHeight >  700+adjustPageHeight ? document.body.scrollHeight :  700+adjustPageHeight);

816 			$('.container_center').css("top", document.documentElement.clientHeight >  700+adjustPageHeight ? document.documentElement.clientHeight :  700+adjustPageHeight);

818 			$('.container_center').css("top", document.documentElement.scrollHeight >  700+adjustPageHeight ? document.documentElement.scrollHeight :  700+adjustPageHeight);

822         $('.container_center').css("width", document.body.clientWidth-40 > 925 ? document.body.clientWidth-40 : 925);

824 			$('.container_center').css("top", document.body.scrollHeight >  710+adjustPageHeight ? document.body.scrollHeight :  710+adjustPageHeight);

826 			$('.container_center').css("top", document.documentElement.clientHeight >  710+adjustPageHeight ? document.documentElement.clientHeight :  710+adjustPageHeight);

828 			$('.container_center').css("top", document.documentElement.scrollHeight >  710+adjustPageHeight ? document.documentElement.scrollHeight :  710+adjustPageHeight);

831     //document.getElementById('page').contentWindow.change_size(page_width, page_height);

836 	var key = document.getElementById("search_text").value.replace(/ /g,"%20");

888 	var cf = document.forms[0];