function playvideo(){ document.write('

') } function playarchive(){ document.write('

') } function play20080817(){ document.write('

') }