function ValidateContact(form) {
			with (form) {
				if (!realname.value || !email.value || !number.value) {
					alert("Please fill in all the required fields");
					return false;
				} else {
				// validate e-mail address
				with (email) {
					apos = value.indexOf("@"); 
					dotpos = value.lastIndexOf(".");
					lastpos = value.length - 1;
					if (apos < 1 || dotpos - apos < 2 || lastpos - dotpos > 4 || lastpos - dotpos < 2) {
						alert("Your e-mail address does not appear to be valid.");
						return false;
					} else {
						return true;
					}
				}
			}
		}
	}
	
function ValidateQuote(form) {
	with (form) {
		if (!realname.value || !email.value || !telephone.value) {
			alert("Please fill in all the required fields");
					return false;
				} else {
				// validate e-mail address
				with (email) {
					apos = value.indexOf("@"); 
					dotpos = value.lastIndexOf(".");
					lastpos = value.length - 1;
					if (apos < 1 || dotpos - apos < 2 || lastpos - dotpos > 4 || lastpos - dotpos < 2) {
						alert("Your e-mail address does not appear to be valid.");
						return false;
					} else {
						return true;
					}
				}
			}
		}
	}

// please keep these lines on when you copy the source
// made by: Nicolas - http://www.javascript-page.com
// modified by gnu world 2007/08/01

var clockID = 0;

function UpdateClock() {

  if (clockID) {
    clearTimeout(clockID);
    clockID  = 0;
  }

  var tDate = new Date();

  var time = new Array();
  time[0] = tDate.getHours();
  time[1] = tDate.getMinutes();
  time[2] = tDate.getSeconds();
  
  var days = new Array('Sunday', 'Monday', 'Tuesday', 'Wednesday', 'Thursday', 'Friday', 'Saturday');
  var months = new Array('January', 'February' ,'March' ,'April', 'May', 'June', 'July', 'August', 'September', 'October', 'November', 'December');
  
  var date = new Array();
  date[0] = days[tDate.getDay()];
  date[1] = tDate.getUTCDate() + ' ' + months[tDate.getMonth()] + ' ' + tDate.getFullYear();
  
  var clock = document.getElementById('clock');
  
  clock.innerHTML = '';

  for (i=0;i<date.length;i++) {
    clock.innerHTML += date[i] + ', ';
  }  

  for (i=0;i<time.length;i++) {
    if (time[i] < 10) {
      clock.innerHTML += '0';
    }
    clock.innerHTML += time[i];

    if (i<2) clock.innerHTML += ':';
  }

 
  clockID = setTimeout("UpdateClock()", 1000);
}

function StartClock() {
  clockID = setTimeout("UpdateClock()", 500);
}

function KillClock() {
  if (clockID) {
    clearTimeout(clockID);
    clockID  = 0;
  }
}