function doinit()
{
document.getElementById('hasjavascript').style.visibility = 'visible';
document.getElementById('nojavascript').style.visibility = 'hidden';
document.getElementById('hasjavascript').style.height = '100%';
}