function scroll_bar(){with(document.body.style){
scrollbarDarkShadowColor="#060093";scrollbar3dLightColor="#060093";
scrollbarArrowColor="#96CAF2";scrollbarBaseColor="#667CDD";
scrollbarFaceColor="#757AD6";scrollbarHighlightColor="#BBCCFA";
scrollbarShadowColor="#191482";scrollbarTrackColor="#D3E0EA";}}
if(document.all){scroll_bar();}