function showMenu()
{
document.getElementById('china_menu').style.display = 'block';
}
function hideMenu()
{
document.getElementById('china_menu').style.display = 'none';
}