// javascript document
function addLoadEvent(func) {
  var oldonload = window.onload;
  if (typeof window.onload != 'function') {
    window.onload = func;
  } else {
    window.onload = function() {
      oldonload();
      func();
    }
  }
}
function destroycatfish() {
	var catfish = document.getElementById('catfish');
	document.body.removeChild(catfish);
	document.getElementsByTagName('html')[0].style.padding= '0';
	return false;
}