// general.js version 1.000  12-02-2010
// Copyright (c) 2010 RJE-productions and E.R. van Veldhoven. All rights reserved. No part of this script may be published, in any form or by any means, without the prior permission of the author.
function languageswitchto(language)
{
var a=location.href
var ie=a.lastIndexOf(".html")
var iu=a.substr(0,ie).lastIndexOf("_")
if((iu>=0)&&(ie==iu+3))
{
a=a.substr(0,iu+1)+language+a.substr(ie)
location.href=a
}
}