// JavaScript Document

 //Global variable.

var initial_search_value = "Keyword";

 //Global variable.

var initial_search_value = "search";

 function clearText() {

            var search_value = document.searchform.sp_q.value;

            if(search_value == initial_search_value) {

            document.searchform.sp_q.value = "";

            }

}


<!-- //
function embiggen(size){
var arr = getAllElements();
for(var i=0; i<arr.length; i++){
if(!!arr[i]){
arr[i].style.fontSize=size+"%";
}
else break;
}
}
function getAllElements(){
elCtr = 0;
var arr = new Array(1000);
addElementsToArrayRecursive(arr, document.body);
elCtr = 0;
return arr;
}
function addElementsToArrayRecursive(arr, el){
var d = el.childNodes;
for(var j=0; j < d.length; j++){
if(elCtr >= 1000){
break;
}else{
if(!d[j].nodeValue){
arr[elCtr++] = d[j];
addElementsToArrayRecursive(arr, d[j]);
}
}
}
}



// Set mydate to Date() which gets the value of the system clock.
var mydate=new Date()
var year=mydate.getYear()

// If the year is less than 1000 the add 1900 to the year for 2000 compliant
if (year < 1000)
   year+=1900

//Get the day, month, date from mydate.
var day=mydate.getDay()
var month=mydate.getMonth()
var daym=mydate.getDate()

// If Day of month is less than 10 then use the format 01,02...09
if (daym<10)
   daym="0"+daym

//Arrays for the days of the week, and months of the year
var dayarray=new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday")
var montharray=new Array("January","February","March","April","May","June","July","August","September","October","November","December")