/*
 Wall.js
 */
 
function pdf_focus(obj) {
	x = obj.getElementsByTagName("img");
	x[0].src = "../images/pdf-high.png";
}
function pdf_blur(obj) {
	x = obj.getElementsByTagName("img");
	x[0].src = "../images/pdf.png";
}