var v = null;

if( document.URL.indexOf( "index.php" ) != -1 )
{
	v = document.getElementById( 'menu_home' );
}
else if( document.URL.indexOf( "products.php" ) != -1 )
{
	v = document.getElementById( 'menu_products' );
}
else if( document.URL.indexOf( "contact.php" ) != -1 )
{
	v = document.getElementById( 'menu_contact' );
}


if( v != null )
{
	v.className = 'menu-active';
}