/*
Event.observe(window,'load',init);
function init() 
{
	Event.observe($("jump"),'change',function(e) {document.location.href=$F(Event.element(e));});
	Event.observe($("languages"),'change',function(e) {document.location.href=$F(Event.element(e));});

}
*/