// JavaScript Document

function border(id)
{
document.getElementById(id).style.borderColor = '#99CC33';
}
function border_no(id)
{
document.getElementById(id).style.borderColor = '#FFFFFF';
}