function switchlang(lang)
{
    document.location='/'+lang+'/';
}