var styleToSelect;
function onOk() 
    {
    document.getElementById('Paragraph1').className = styleToSelect;
    }
function DoNav(theUrl)
    {
    document.location.href = theUrl;
    }