// JavaScript Document

function hoveron()  { document.getElementById("a").className=" hover"; }
function hoveroff() { document.getElementById("a").className=this.className="border"; }