<!--
function eyeopen()
{
document.images["seaportdock"].src = "images/dockg5.jpg";
}
function eyeclose()
{
document.images["seaportdock"].src = "images/dockg5b.jpg";
}

//-->