monthNames = new MakeArray(12)
monthNames[1] = "Jan."
monthNames[2] = "Feb."
monthNames[3] = "Mar."
monthNames[4] = "Apr."
monthNames[5] = "May"
monthNames[6] = "June"
monthNames[7] = "July"
monthNames[8] = "Aug."
monthNames[9] = "Sept."
monthNames[10] = "Oct."
monthNames[11] = "Nov."
monthNames[12] = "Dec."
dayNames = new MakeArray(7)
dayNames[1] = "Sunday"
dayNames[2] = "Monday"
dayNames[3] = "Tuesday"
dayNames[4] = "Wednesday"
dayNames[5] = "Thursday"
dayNames[6] = "Friday"
dayNames[7] = "Saturday"
var bookmarkurl="http://www.accessasia.co.uk"
var bookmarktitle="Access Asia "

function addbookmark(){

if (document.all)

window.external.AddFavorite(bookmarkurl,bookmarktitle)

}
function MakeArray(n) {

	this.length = n
	return this
}

function customDateString(oneDate) {
var theDay = dayNames[oneDate.getDay() + 1]
var theMonth = monthNames[oneDate.getMonth() + 1]
return theDay + ", " + theMonth + " " + oneDate.getDate() 
}
function showdate() {
	  document.write(customDateString(new Date()))
}

function DoSearch(srchstr){
  window.location.href = "prodsrch.asp?results=1&boolean=ALL&stext=" + srchstr
}