// JavaScript Document
function mov(x) { x.style.cursor = 'hand'; x.style.backgroundColor = '#CC3333'; x.style.color = '#FFFFFF'; }
function mou(x) { x.style.cursor = 'hand'; x.style.backgroundColor = '#303eab'; x.style.color = '#FFFFF0'; }
function ow(dir,trg) { if (!trg) { trg='_self'; }; window.open(dir,trg); }