function $(a){return document.getElementById(a)}function $$(a){return document.getElementById(a).style}function hoverButton3(a){$$(a+"_left").backgroundPosition="0px -25px";$$(a).backgroundColor="#483e36";$$(a+"_right").backgroundPosition="0px -25px"}function unhoverButton(a){$$(a+"_left").backgroundPosition="0px 0px";$$(a).backgroundColor="#817267";$$(a+"_right").backgroundPosition="0px 0px"}function unhoverButton6(a){$$(a+"_left").backgroundPosition="0px 0px";$$(a).backgroundColor="#ff9c00";$$(a+"_right").backgroundPosition="0px 0px"}function hoverButton6(a){$$(a+"_left").backgroundPosition="0px -25px";$$(a).backgroundColor="#705324";$$(a+"_right").backgroundPosition="0px -25px"};