<!-- Hide from Neanderthal browsers
function flipCoin() {
var x = parseInt(Math.random() * 2, 10);
coinsrc = (!x) ? "heads.gif" : "tails.gif";
document.coinform.coinbutton.value = 'Flipping';
ID = window.setTimeout("changeCoin();", 750);
}
function changeCoin() {
document['coin'].src = coinsrc;
document.coinform.coinbutton.value = 'Flip Coin';
}
//  End hide-->