// JavaScript Document


function buttonMouseIn(obj){
  obj.src=obj.src.replace('.png','_hover.png');
}

function buttonMouseOut(obj){
  obj.src=obj.src.replace('_hover','');
}

function open_win() { window.open("index.php?page=player","_blank","toolbar=no, location=no, directories=no, titlebar=no, status=no, menubar=no, scrollbars=no, resizable=no, left=40%, top=20%, width=447, height=345"); }