jQuery(function() {
jQuery('#artindex option').each(function () {
this.selected = this.value == document.location;
});
var urlmenu = document.getElementById( 'artindex' );
urlmenu.onchange = function() {
window.open( this.options[ this.selectedIndex ].value, '_parent');
};
});
document.write('');