// JavaScript Document

var printer = document.getElementById("tool-printer");
printer.onmouseover=function() {
	this.src="./?a=670";
}
printer.onmouseout=function() {
	this.src="./?a=529";
}
var text = document.getElementById("tool-text");
text.onmouseover=function() {
	this.src="./?a=671";
}
text.onmouseout=function() {
	this.src="./?a=530";
}
var email = document.getElementById("tool-email");
email.onmouseover=function() {
	this.src="./?a=672";
}
email.onmouseout=function() {
	this.src="./?a=528";
}