function press() 
{
	var elements = document.getElementById("page");
	
	var buttons = elements.getElementsByTagName("a");
	for (i = 0; i<buttons.length; i++){
		buttons[i].onmousedown = function(){
			if (this.className.indexOf("push") == -1)
			{
				this.className += " push";
			}
			return true;
		}
		buttons[i].onmouseout = function(){
			this.className = this.className.replace("push", "");
			return true;
		}
		buttons[i].onmouseup = function(){
			this.className = this.className.replace("push", "");
			return true;
		}
	}
}
if (window.addEventListener)
	window.addEventListener("load", press, false);
else if (window.attachEvent)
	window.attachEvent("onload", press);