/* Common */

// FORM SELECT BOX HREF JUMP //
function htmlJump()
{
box = document.forms[0].htmlSelect;
destination = box.options[box.selectedIndex].value;
if (destination) location.href = destination;
}